Fully Symbolic Model Checking for Timed Automata.

Georges Morbé Florian Pigorsch Christoph Scholl

Published in: CAV (2011)

Keyphrases

model checking
timed automata
symbolic model checking
temporal logic
formal verification
model checker
conformant planning
formal specification
finite state
formal methods
expert systems
partial observability
data mining
artificial intelligence
theorem prover
symbolic representation