The Specification, Verification, and Implementation of a High-Assurance Data Structure: An ACL2 Approach.
David S. HardinPublished in: HICSS (2013)
Keyphrases
- high assurance
- data structure
- formal verification
- model checking
- software systems
- fault tolerant
- protocol specification
- distributed systems
- formal specification
- specification language
- asynchronous circuits
- efficient data structures
- tree structure
- data types
- data sets
- formal methods
- open source
- concurrent systems
- natural language learning
- relational databases
- machine learning