NASA open source release LAR-20100-1. PVS-ANTLR is a toolkit for parsing and translating files containing formal specifications written in the language of the PVS verification system. - View it on GitHub