1 Search Results
why
Why is a software verification platform.
deductive
program verification
specification
automated theorem prover
interactive theorem prover
Java
JML
C
ACSL
2.41
LGPL-2.1-only
Used by 0 other packages