Difference between revisions of "Tools:AProVE"

From Termination-Portal.org
Jump to navigationJump to search
Line 5: Line 5:
 
-->
 
-->
  
{{Tools
+
{{Tool
 
|shortname=AProVE
 
|shortname=AProVE
 
|longname=Automated Program Verification Environment
 
|longname=Automated Program Verification Environment

Revision as of 12:48, 29 March 2008


AProVE (Automated Program Verification Environment)