A Tool for Timed Patten Matching with Automata-Based Acceleration
Primary LanguageC++GNU General Public License v3.0GPL-3.0