Formal Methods For Developing High Assurance Computer Systems: Working Group Report.
Mats Per Erik HeimdahlConstance L. HeitmeyerPublished in: WIFT (1998)
Keyphrases
- computer systems
- formal methods
- working group
- high assurance
- operating system
- development lifecycle
- data processing
- knowledge based systems
- artificial intelligence
- computing systems
- formal specification
- information systems
- software engineering
- communication systems
- working conference
- information processing systems
- model checking
- fault tolerant
- software systems
- high end
- distributed systems
- human beings
- information technology
- case study
- databases