Using ACL2 in the Design of Efficient, Verifiable Data Structures for High-Assurance Systems
meeting of the association for computational linguistics, Volume abs/1810.04312, 2018.
Verification of algorithms and data structures utilized in modern autonomous and semi-autonomous vehicles for land, sea, air, and space presents a significant challenge. Autonomy algorithms, e.g., route planning, pattern matching, and inference, are based on complex data structures such as directed graphs and algebraic data types. Proof t...More
Full Text (Upload PDF)
PPT (Upload PPT)