Difference between revisions of "Tools:AProVE"
From Termination-Portal.org
Jump to navigationJump to search| Line 5: | Line 5: | ||
--> | --> | ||
| − | {{ | + | {{Tools |
|shortname=AProVE | |shortname=AProVE | ||
|longname=Automated Program Verification Environment | |longname=Automated Program Verification Environment | ||
