Improvements for the Symbolic Verification of Timed Automata.
Rongjie YanGuangyuan LiWenliang ZhangYunquan PengPublished in: FORTE (2007)
Keyphrases
- timed automata
- model checking
- reachability analysis
- temporal logic
- formal verification
- verification method
- binary decision diagrams
- formal methods
- concurrent systems
- symbolic representation
- theorem prover
- high level
- symbolic data
- neural learning
- asynchronous circuits
- petri net
- face detection
- learning algorithm
- connectionist learning
- connectionist systems
- handwritten signature verification