Flaw Detection in Formal Specifications.
Wolfgang ReifGerhard SchellhornAndreas ThumsPublished in: IJCAR (2001)
Keyphrases
- formal specification
- model checking
- specification languages
- object detection
- detection method
- object oriented design
- automatic detection
- detection algorithm
- specification language
- anomaly detection
- false positives
- reverse engineering
- formal methods
- detection rate
- semantic data models
- process algebra
- database
- user defined
- information systems
- real world