Tools:AProVE: Difference between revisions
No edit summary |
No edit summary |
||
| Line 5: | Line 5: | ||
--> | --> | ||
{{ | {{Tools | ||
|shortname=AProVE | |shortname=AProVE | ||
|longname=Automated Program Verification Environment | |longname=Automated Program Verification Environment | ||