Computer-aided validation of formal specifications.
Paul MukherjeePublished in: Softw. Eng. J. (1995)
Keyphrases
- computer aided
- formal specification
- model checking
- object oriented design
- computer assisted
- computer aided diagnosis
- specification languages
- computer aided design
- formal methods
- image analysis
- concurrent systems
- reverse engineering
- formal specification language
- capsule endoscopy
- design methodology
- early diagnosis
- diagnosis of breast cancer
- neural network
- prostate cancer
- design tools
- software components
- temporal logic
- feature extraction
- image processing
- protocol specification