This library extends PVSio, a PVS standard library for animation of PVS specifications. It provides the following utilities.
| Library | Description |
|---|---|
| PVSioChecker | A PVSio library for differential testing |
| PVSioCSV | A PVSio library for reading and writing Comma Separated Value files |
| PVSioKeyVal | A PVSio simple key/value store |
- César Muñoz, NASA, USA
- Mariano Moscato, NIA & NASA, USA
- Sam Owre, SRI, USA
- César Muñoz, NASA, USA
