University of Idaho

file

An Overview of an ACL2 Prototype C Integer Type Safety Verification Tool

Submitted by jimaf on Sat, 04/26/2014 - 6:22am. Contributors:

Abstract

file

Submitted by jimaf on Tue, 04/22/2014 - 9:55am. Contributors:

Presented as part of the 2014 HCSS conference.

Abstract:

file

Submitted by TimTh on Tue, 05/08/2012 - 9:08pm. Contributors:

Presented as part of the 2012 HCSS conference.

Abstract:

file

Submitted by jimaf on Tue, 09/13/2011 - 4:23pm. Contributors:

Presented as part of the 2002 HCSS conference.

file

Submitted by TimTh on Tue, 08/23/2011 - 9:10am. Contributor:

Presented as part of the 2006 HCSS conference.