J Strother Moore
10 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
VWSIM: A Circuit Simulator
Warren A. Hunt and others (2022) · Proceedings of the 17th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2022)
A Grand Challenge Proposal for Formal Methods: A Verified Stack
J Strother Moore (2003) · Springer Berlin Heidelberg
Computer-Aided Reasoning: An Approach
Matt Kaufmann and others (2000) · Springer Nature
A Computational Logic Handbook
R. S. Boyer and others (1998) · Academic Press
ACL2 theorems about commercial microprocessors
Bishop C. Brock and others (1996) · Lecture notes in computer science · Springer Science+Business Media
ACL2: an industrial strength version of Nqthm
Matt Kaufmann and others (1996)
An approach to systems verification
William R. Bevier and others (1989) · Journal of Automated Reasoning · Springer Science+Business Media
A mechanically verified language implementation
J Strother Moore (1989) · Springer Science and Business Media LLC
Metafunctions: proving them correct and using them efficiently as new proof procedures
Robert S. Boyer and others (1981) · The Correctness Problem in Computer Science · Academic Press
A Computational Logic
Robert S. Boyer and others (1979) · Academic Press