Bounded model-checking of discrete duration calculus.

Quan Zu Miaomiao Zhang Jiaqi Zhu Naijun Zhan

Published in: HSCC (2013)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
transition systems
multi agent systems
computer algebra
finite number
model checker
discrete space
discrete geometry
algebraic structure