Search

• < Previous
• 1
• Next >

Simulations for Event-Clock Automata

Event-clock automata (ECA) are a well-known semantic subclass of timed automata (TA) which enjoy admirable theoretical properties, e.g., determinizability, and are practically useful to capture timed specifications. However, unlike for timed automata, there exist no implementations for checking&nbsp;[&hellip;]