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.

Cited by: 0|Bibtex|Views2|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments