Theory-Aided Model Checking of Concurrent Transition Systems.

Guy Katz Clark W. Barrett David Harel

Published in: FMCAD (2015)

Keyphrases

model checking
transition systems
temporal logic
formal methods
concurrent systems
model checker
formal specification
finite state
formal verification
practical reasoning
control flow
reinforcement learning
reactive systems