Exploring inconsistencies between modal transition systems.

Mathieu Sassolas Marsha Chechik Sebastián Uchitel

Published in: Softw. Syst. Model. (2011)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
finite state
practical reasoning
control flow
knowledge base
modal logic
distributed systems
data flow
model checker
formal specification
petri net
test set
markov chain
artificial intelligence