Binary descriptions:
  • alt-ergo: Automatic theorem prover dedicated to program verification
Last common version:
0.94-1
Ignored:


 
Comments: