FM 89: Assessment of Formal Methods for Trustworthy Computer Systems (Workshop Report).
Dan CraigenPublished in: ICSE (1990)
Keyphrases
- computer systems
- formal methods
- data processing
- formal analysis
- operating system
- computing systems
- model checking
- communication systems
- information systems
- safety critical
- knowledge based systems
- formal specification
- artificial intelligence
- information processing systems
- computer technology
- computer networks
- computer architecture
- software engineering
- process algebra
- software developers
- high end
- computer hardware
- intrusion detection system
- human beings
- security properties
- formal specification language