Software Verification tool, which uses superposition-based theorem proving to establish the functional correctness of array- and hyper-properties.
3
stars
6
forks
source link
add option to exclude lemmas from output #13
Closed
mina1604 closed 4 years ago
Would be nice to have a command line option to only generate the program semantics and the property as lemmas are not used for trace properties atm.