Automatic Abstraction for Verification of Timed Circuits and Systems.
Hao ZhengEric MercerChris J. MyersPublished in: CAV (2001)
Keyphrases
- asynchronous circuits
- petri net
- model checking
- artificial intelligence
- information retrieval
- expert systems
- bounded model checking
- distributed systems
- intelligent systems
- computer systems
- automated verification
- digital circuits
- formal verification
- formal methods
- finite state machines
- fully automatic
- semi automatic
- complex systems
- management system
- computer vision