ACL2 and Its Applications to Digital System Verification-Reference-Cited by-同舟云学术

ACL2 and Its Applications to Digital System Verification

Published:2010 Issue: Volume: Page:1-21
ISSN:
Container-title:Design and Verification of Microprocessor Systems for High-Assurance Applications
language:
Short-container-title:

Author:

Kaufmann Matt,Moore J Strother

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-1-4419-1539-9_1.pdf

Reference58 articles.

1. Bevier W, Hunt WA Jr, Moore JS, Young W (1989) Special issue on system verification. J Autom Reason 5(4):409–530

2. Boyer RS, Moore JS (1979) A computational logic. Academic, New York

3. Boyer RS, Moore JS (1981) Metafunctions: proving them correct and using them efficiently as new proof procedures. In: Boyer RS, Moore JS (eds) The correctness problem in computer science. Academic, London

4. Boyer RS, Moore JS (1997) A computational logic handbook, 2nd edn. Academic, New York

5. PADL 2002, LNCS 2257;RS Boyer,2002

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. VeSCMul: Verified Implementation of S-C-Rewriting for Multiplier Verification;Lecture Notes in Computer Science;2024

2. Verified Implementation of an Efficient Term-Rewriting Algorithm for Multiplier Verification on ACL2;Electronic Proceedings in Theoretical Computer Science;2022-05-24

3. Machine Normalization;ACM Transactions on Asian and Low-Resource Language Information Processing;2020-07-31

4. Overview of Applications of the Sensor Technologies for Construction Machinery;IEEE Access;2020

5. Evaluation of the Dispersion Diagram of Inhomogeneous Waveguides by the Variational Meshless Method;IEEE Transactions on Microwave Theory and Techniques;2019-06