search

ftsrg / gazer

An LLVM-based formal verification frontend for C programs.
24 stars 5 forks source link

Support SV-COMP ReachSafety-BitVectors with Theta #78

Open hajduakos opened 3 years ago

hajduakos commented 3 years ago

See #39