SyMon

SyMon is a tool for symbolic monitoring, where the specification may be parametric both in time and data (i.e., the specification may contain unknown constants). Currently, SyMon supports string and numbers as data.

SyMon is implemented in C++. SyMon uses Parma Polyhedra Library for polyhedra operations. SyMon is distributed under the GNU General Public License Version 3.0.

SyMon is mainly developed by Masaki Waga.

Reference

• Masaki Waga, Étienne André, and Ichiro Hasuo, Symbolic Monitoring against Specifications Parametric in Time and Data, In Proc. CAV 2019. LNCS 11561, pp. 520-539 arXiv version