Teaching formal methods for program development and verification (Panel Session).
Susan L. GerhartEric C. R. HehnerHarlan D. MillsA. Joe TurnerPublished in: SIGCSE (1983)
Keyphrases
- formal methods
- safety critical
- knowledge based systems
- software engineering
- formal analysis
- model checking
- development lifecycle
- model checker
- practical experience
- artificial intelligence
- process algebra
- provably correct
- formal specification
- formal specification language
- development process
- modeling language
- knowledge acquisition
- teacher education
- knowledge management
- object oriented
- reactive systems
- expert systems
- machine learning
- protocol specification