Preliminary Summary: FM89 Assessment of Formal Methods for Trustworthy Computer Systems.
Susan L. GerhartPublished in: Symposium on Testing, Analysis, and Verification (1989)
Keyphrases
- computer systems
- formal methods
- operating system
- data processing
- communication systems
- safety critical
- formal analysis
- formal specification
- computing systems
- information processing systems
- information systems
- knowledge based systems
- model checking
- computer architecture
- process algebra
- human beings
- artificial intelligence
- computer security
- software engineering
- computer networks
- computer technology
- modeling language
- high end
- security properties
- data analysis
- formal specification language
- relational databases
- life cycle
- development process