Lazy Reachability Checking for Timed Automata Using Interpolants.
Tamás TóthIstván MajzikPublished in: FORMATS (2017)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- first order logic
- verification method
- transitive closure
- state space
- theorem proving
- lazy learning
- temporal logic
- real time systems
- website
- consistency checking
- database
- databases
- real time
- data sets
- search algorithm
- decision trees
- information retrieval
- neural network