The IFAD VDM Tools: Lightweight Formal Methods.
Sten AgerholmPeter Gorm LarsenPublished in: FM-Trends (1998)
Keyphrases
- lightweight
- formal methods
- formal analysis
- model checking
- formal specification
- safety critical
- artificial intelligence
- development environments
- process algebra
- software engineering
- knowledge based systems
- communication infrastructure
- low cost
- modeling language
- development lifecycle
- handheld devices
- building blocks
- source code
- wireless sensor networks
- web services