Accelerated Modal Abstractions of Labelled Transition Systems.

Miguel Valero Espada Jaco van de Pol

Published in: AMAST (2006)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
model checker
distributed systems
learning algorithm
knowledge base
domain specific
formal verification