Login / Signup
LTL-Model-Checking via Model Composition.
Ingo Felscher
Published in:
RP (2012)
Keyphrases
</>
model checking
temporal logic
model checker
temporal properties
finite state machines
process algebra
bounded model checking
finite state
verification method
knowledge representation
process model
formal specification
epistemic logic
reactive systems
linear time temporal logic