Login / Signup
Verification for Timed Automata Extended with Unbounded Discrete Data Structures.
Karin Quaas
Published in:
CONCUR (2014)
Keyphrases
</>
timed automata
model checking
data structure
reachability analysis
temporal logic
formal verification
verification method
discrete geometry
databases
real time
formal methods
efficient data structures
database systems
dynamic programming
theorem prover
hash table