Timed Automata Verification via IC3 with Zones.
Tobias IsenbergHeike WehrheimPublished in: ICFEM (2014)
Keyphrases
- timed automata
- model checking
- temporal logic
- reachability analysis
- formal verification
- verification method
- formal methods
- integrated circuit
- databases
- first order logic
- asynchronous circuits
- information systems
- concurrent systems
- real time
- theorem prover
- artificial neural networks
- database systems
- fingerprint verification
- information retrieval