Temporal Logic To Query Semantic Graphs Using The Model Checking Method.

Mahdi Gueffaz Sylvain Rampacek Christophe Nicolle

Published in: J. Softw. (2012)

Keyphrases

temporal logic
model checking
verification method
model checker
satisfiability problem
formal specification
modal logic
finite state
formal verification
temporal properties
concurrent systems
reactive systems
symbolic model checking
transition systems
linear temporal logic
bounded model checking