|
СТ |
A Grand Challenge Proposal for Formal Methods: A Verified Stack |
2003 |
Moore J. S. |
|
|
|
Lecture Notes in Computer Science |
25.12.2003 |
|
П |
Proving Theorems about Java and the JVM with ACL2 |
2002 |
Moore J. S. |
|
|
Techn.Univ.Munchen |
|
24.08.2002 |
|
М |
Computer-Aided Reasoning: A Approach |
2002 |
Kaufmann M., Manolios P., Moore J. S. |
|
|
|
|
23.08.2002 |
|
СТ |
Single-Threaded Objects in ACL2 |
2002 |
Boyer R. S., Moore J. S. |
|
|
|
Lecture Notes in Computer Science |
27.02.2002 |
|
М |
A Computational Logic Handbook |
1998 |
Boyer R. S., Moore J. S. |
|
|
|
|
31.05.2000 |
|
СТ |
Proving Theorems About Java-Like Byte Code |
1999 |
Moore J. S. |
|
|
|
Lecture Notes in Computer Science |
20.11.1999 |
|
СТ |
An Industrial Strength Theorem Prover for a Logic Based on Common Lisp |
1997 |
Kaufmann M., Moore J. S. |
|
|
|
IEEE Trans. on Software Engineering |
12.08.1997 |
