Some Progress in the Symbolic Verification of Timed Automata.
Marius BozgaOded MalerAmir PnueliSergio YovinePublished in: CAV (1997)
Keyphrases
- timed automata
- model checking
- reachability analysis
- temporal logic
- verification method
- formal verification
- binary decision diagrams
- concurrent systems
- asynchronous circuits
- formal methods
- theorem prover
- real world
- connectionist learning
- high level
- computer vision
- databases
- symbolic representation
- theorem proving
- modal logic
- first order logic
- software engineering
- connectionist models
- image sequences
- symbolic reasoning
- symbolic description
- machine learning