Verification of Liveness Properties Using Compositional Reachability Analysis.

Shing-Chi Cheung Dimitra Giannakopoulou Jeff Kramer

Published in: ESEC / SIGSOFT FSE (1997)

Keyphrases

reachability analysis
model checking
desirable properties
timed automata
markov decision processes
temporal logic
formal verification
real time
decision making
video sequences
natural language
dynamic programming
formal methods
verification method