Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers.
James M. BoyleR. Daniel ReslerVictor L. WinterPublished in: HASE (1997)
Keyphrases
- formal methods
- high assurance
- programming language
- software systems
- software engineering
- formal analysis
- safety critical
- artificial intelligence
- general purpose
- knowledge based systems
- code generation
- model checking
- formal specification
- process algebra
- fault tolerant
- distributed systems
- modeling language
- operating system
- model checker
- reactive systems
- trust model
- source code
- access control
- open source
- object oriented
- database
- software development
- knowledge representation
- expert systems
- information systems
- transactional memory