Efficient Model-Checking of Dense-Time Systems with Time-Convexity Analysis.

Published in: RTSS (2008)

Keyphrases

model checking
automated verification
temporal logic
formal verification
reactive systems
finite state machines
formal methods
model checker
symbolic model checking
asynchronous circuits
temporal properties
partial order reduction
dynamic analysis
artifact centric
inference rules
concurrent systems