/gazer

An LLVM-based formal verification frontend for C programs.

Primary LanguageC++

Watchers