Automated Verification of Asynchronous Circuits Using Circuit Petri Nets.
Ivan PoliakovAndrey MokhovAshur RafievDanil SokolovAlex YakovlevPublished in: ASYNC (2008)
Keyphrases
- asynchronous circuits
- automated verification
- petri net
- model checking
- delay insensitive
- temporal logic
- process algebra
- formal verification
- petri net model
- discrete event systems
- formal specification
- manufacturing systems
- colored petri nets
- fuzzy petri net
- concurrent systems
- stochastic petri net
- automated reasoning
- service composition
- state machines
- web service composition
- machine learning
- formal methods
- ims ld
- model based diagnosis
- business processes
- natural language