Analyzing the effects of formal methods on the development of industrial control software.
Jan Friso GrooteAmmar OsaiweranJacco H. WesseliusPublished in: ICSM (2011)
Keyphrases
- formal methods
- control software
- safety critical
- knowledge based systems
- software engineering
- development lifecycle
- formal analysis
- provably correct
- model checking
- formal specification
- artificial intelligence
- knowledge management
- control system
- process algebra
- real time
- development process
- modeling language
- decision support
- open source
- expert systems
- knowledge base