1 Search Results
why
Why is a software verification platform.
deductive program verification specification automated theorem prover interactive theorem prover Java JML C ACSL
Jean-Christophe Filliâtre Claude Marché Yannick Moy Romain Bardou
2.41
LGPL-2.1-only
Used by 0 other packages