PV4 ⊧ SyMon: SYmbolic MONitorchecks whether an event log conforms to the automata specification

A tool for symbolic monitoring of logs that supports both timing and data parameters.

Application domain/field

• Monitoring
• Offline monitoring
• Logs

Type of tool

Monitoring tool

Expected input

• Automaton
• Signature
• Optional: Timed word

Format:

• Automaton: .dot file
• Signature: .sig file, own format
• Optional timed word: .txt file?

Internals

Uses Parma Polyhedra Library (PPL)

Comments

License: GPL v3.0