Automatic Abstraction Refinement for Timed Automata.

Henning Dierks Sebastian Kupferschmid Kim Guldstrand Larsen

Published in: FORMATS (2007)

Keyphrases

timed automata
model checking
reachability analysis
fully automatic
theorem prover
semi automatic
artificial intelligence
high level
data structure
relational databases
data driven
knowledge representation
real time
web pages
information systems
computer vision
data mining
databases