Improved Bounded Model Checking of Timed Automata.

Robert L. Smith Marcello M. Bersani Matteo Rossi Pierluigi San Pietro

Published in: CoRR (2021)

Keyphrases

model checking
bounded model checking
timed automata
temporal logic
formal verification
reachability analysis
formal specification
linear temporal logic
theorem prover
finite state
epistemic logic
real time systems
transition systems
concurrent systems
bayesian networks
domain independent
expert systems
cooperative