Conference Papers
-
-
Gregory L. Wickstrom, Jared Davis, Steve Morrison, Steve Roach, Victor L. Winter. The SSP: An Example of High-Assurance Systems Engineering.
In 8th IEEE International Symposium on High-Assurance Systems Engineering
(HASE 2004).
March, 2004, Tampa, FL, USA. IEEE Computer Society 2004, ISBN 0-7695-2094-4.
Workshop Papers
-
-
Jared Davis. Memories: Array-like Records for ACL2. In 6th
International Workshop on the ACL2 Theorem Prover and its Applications
(ACL2 2006).
August, 2006, Seattle, WA, USA.
- (See also Memory Library Website)
-
- Jared Davis. Reasoning about File Input in ACL2. In 6th
International Workshop on the ACL2 Theorem Prover and its Applications
(ACL2 2006).
August, 2006, Seattle, WA, USA.
- (See also Input Library Website)
-
-
Jared Davis. Finite Set Theory based on Fully Ordered Lists.
In 5th International Workshop on the ACL2 Theorem Prover and Its
Applications
(ACL2 2004). November, 2004, Austin, TX, USA.
- (See also Sets Library Website)
Memories: Array-like Records for ACL2