7 citations · 15 across the 3 of their papers we have counts for
3 papers
cs.LO2018★ 4 cited
Using ACL2 in the Design of Efficient, Verifiable Data Structures for High-Assurance Systems
David Hardin, Konrad Slind
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 a…
cs.SE2014★ 7 cited
Resolute: An Assurance Case Language for Architecture Models
Andrew Gacek, John Backes, Darren Cofer +2
Arguments about the safety, security, and correctness of a complex system are often made in the form of an assurance case. An assurance case is a structured argument, often represe…
cs.LO2013★ 4 cited
A Step-Indexing Approach to Partial Functions
David Greve, Konrad Slind
We describe an ACL2 package for defining partial recursive functions that also supports efficient execution. While packages for defining partial recursive functions already exist f…