Partitioned PLTL model-checking for refined transition systems.

Jacques Julliand Pierre-Alain Masson Emilie Oudot

Published in: Inf. Comput. (2009)

Keyphrases

transition systems
model checking
temporal logic
model checker
finite state
concurrent systems
formal verification
formal specification
domain specific
practical reasoning
search algorithm
modal logic
planning domains
formal methods
reactive systems