|
| attribute |
value |
| name |
AProVE NIA 2014 |
| description |
The AProVE version that participated at SMTCOMP 2011, with a new start script that allows the Java Virtual Machine to use 20000 MB instead of just 2500 MB for the heap memory. |
| owner |
Carsten Fuhs
|
| uploaded |
Jun 15 2014 |
| disk size |
19.54 MB |
| build status |
uploaded built |
|
