Formal methods in programming and microprogramming overview.
Jack GoldbergPublished in: AFIPS National Computer Conference (1978)
Keyphrases
- formal methods
- reactive systems
- safety critical
- formal analysis
- model checker
- artificial intelligence
- knowledge based systems
- model checking
- provably correct
- programming language
- software engineering
- process algebra
- formal specification
- programming environment
- temporal properties
- object oriented programming
- object oriented
- computer programming
- programming course
- expert systems
- information systems
- databases
- development lifecycle