Formal Methods: A Practical Tool for OS Implementors.
Patrick TullmannJeff TurnerJohn McCorquodaleJay LepreauAjay ChitturiGodmar BackPublished in: Workshop on Hot Topics in Operating Systems (1997)
Keyphrases
- formal methods
- formal specification language
- knowledge based systems
- formal analysis
- model checking
- safety critical
- operating system
- formal specification
- real world
- model checker
- software engineering
- process algebra
- reactive systems
- provably correct
- security properties
- temporal properties
- artificial intelligence
- open source