RAT-based formal verification of QDI asynchronous controllers.
Khaled AlsayegKatell Morin-AlloryLaurent FesquetPublished in: FDL (2009)
Keyphrases
- formal verification
- model checking
- bounded model checking
- automated verification
- model checker
- symbolic model checking
- control system
- controller design
- program slicing
- spinal cord
- asynchronous circuits
- reinforcement learning
- discussion forums
- asynchronous communication
- control law
- formal specification
- fuzzy logic
- bayesian networks
- functional verification