Case Study of ATPG-based Bounded Model Checking: Verifying USB2.0 IP Core.
Qiang QiangChia-Lun ChangDaniel G. SaabJacob A. AbrahamPublished in: ICCD (2005)
Keyphrases
- bounded model checking
- model checking
- case study
- temporal logic
- formal verification
- linear temporal logic
- lessons learned
- real world
- formal specification
- formal methods
- smart card
- software development
- modal logic
- epistemic logic
- finite state
- data transmission
- development process
- multi agent systems
- business process
- transition systems
- web services
- data storage
- cooperative