Frama-C/Frama-C-snapshot

Release snapshots of the Frama-C platform for source code analysis

语言：OCaml · GitHub 星标：190 · Fork：40

话题：abstract-interpretation · c · formal-verification · frama-c · ocaml · runtime-verification · static-analysis

在 GitHub 上查看原仓库