Improved Bounded Model Checking of Timed Automata.

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

Published in: FormaliSE@ICSE (2021)

Keyphrases

model checking
bounded model checking
timed automata
temporal logic
formal verification
reachability analysis
formal specification
finite state
formal methods
concurrent systems
transition systems
linear temporal logic
simulated annealing
orders of magnitude
modal logic
theorem prover