irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
Parser

The parsers are defined with the help of Antlr, which is a powerful parser generator. for more details about Antlr, please check the official document.