Virtual start-up of plants using formal methods.
Sebastian PreußeChristian GerberHans-Michael HanischPublished in: Int. J. Comput. Appl. Technol. (2011)
Keyphrases
- formal methods
- formal analysis
- formal specification
- artificial intelligence
- virtual environment
- provably correct
- virtual world
- safety critical
- software engineering
- model checker
- temporal properties
- model checking
- knowledge based systems
- augmented reality
- virtual reality
- process algebra
- development lifecycle
- real world
- formal specification language
- building blocks
- machine learning