Integrating Structured and Formal Methods: A Visual Approach to VDM.
Jeremy DickJérôme LoubersacPublished in: ESEC (1991)
Keyphrases
- formal methods
- formal analysis
- formal specification
- safety critical
- model checker
- visual features
- model checking
- provably correct
- artificial intelligence
- visual information
- knowledge based systems
- real world
- structured data
- process algebra
- security properties
- formal specification language
- protocol specification
- modeling language
- fine grained
- software engineering
- low level