Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata.

Zuxi Chen Huixing Fang Xiangyu Luo

Published in: TASE (2019)

Keyphrases

model checking
bounded model checking
timed automata
epistemic logic
temporal logic
formal verification
reachability analysis
linear temporal logic
finite state
formal specification
formal semantics
transition systems
concurrent systems
real time
artificial intelligence
real time systems