Bridging the formal methods gap: a computer-aided verification tool for hardware designs.
Mandayam K. SrivasPublished in: Compcon (1991)
Keyphrases
- computer aided
- formal methods
- hardware designs
- model checking
- formal specification language
- model checker
- formal analysis
- design tools
- computer aided diagnosis
- formal specification
- software engineering
- diagnosis of breast cancer
- knowledge based systems
- image analysis
- process planning
- artificial intelligence
- safety critical
- image processing
- computer aided design
- data model
- capsule endoscopy
- model based diagnosis
- open source
- case study
- early diagnosis
- modeling language
- concurrent systems
- differential diagnosis
- web services
- fault tree
- temporal logic