Tutorial T4B: Formal Assertion-Based Verification in Industrial Setting.
Praveen TiwariRaj S. MitraManu ChopraAlok JainPublished in: VLSI Design (2007)
Keyphrases
- formal methods
- industrial applications
- model checking
- formal analysis
- formal specification
- real time
- industrial environment
- concurrent systems
- verification method
- fingerprint verification
- quality improvement
- formal representation
- formal models
- operational semantics
- temporal logic
- control system
- artificial neural networks
- multi agent
- machine learning
- databases