Using ACL2 in the Design of Efficient, Verifiable Data Structures for High-Assurance Systems.
David S. HardinKonrad SlindPublished in: ACL2 (2018)
Keyphrases
- high assurance
- data structure
- distributed systems
- fault tolerant
- software systems
- operating system
- knowledge based systems
- databases
- access control
- building blocks
- embedded systems
- management system
- user interface
- algorithms and data structures
- case study
- design process
- artificial intelligence
- design criteria
- formal methods
- design issues
- efficient implementation
- information systems
- computer aided
- knowledge base
- cooperative
- sufficient conditions
- multi agent systems