Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

ACL2

file

Hardware/Software Coassurance using Algorithmic C and ACL2

Submitted by Katie Dey on Wed, 05/15/2019 - 9:35am. Contributor:

David Hardin

Presented as part of the 2019 HCSS conference.

file

Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover

Submitted by akarns on Tue, 01/26/2016 - 3:52pm. Contributors:

Presented as part of the 2016 HCSS conference.

ABSTRACT

Terms of Use | ©2023. CPS-VO