GaloisInc/VERSE-Toolchain

Tools for testing and verifying the safety and correctness of C programs.

语言：OCaml · GitHub 星标：19 · Fork：3

在 GitHub 上查看原仓库