论文信息 - Industrial Proofs with ACL 2 - 字舞流文

Industrial Proofs with ACL 2

Matt Kaufmann | J Strother Moore

[1] Matthew Wilding,et al. A Separation Kernel Formal Security Policy , 2003, ACL 2003.

[2] Panagiotis Manolios,et al. Computer-aided reasoning : ACL2 case studies , 2000 .

[3] Hanbing Liu,et al. Executable JVM model for analytical reasoning: a study , 2003, IVME '03.

[4] Guy L. Steele,et al. Common Lisp the Language , 1984 .

[5] James Moore,et al. Proving Theorems about Java and the JVM with ACL2 , 2002 .

[6] Bishop C. Brock,et al. Formal Analysis of the Motorola CAP DSP , 1999 .