عنوان

Computer-aided reasoning :

شابک

144194981X

شابک

9781441949813

شماره

b557655

عنوان اصلي

Computer-aided reasoning :

نام عام مواد

[Book]

ساير اطلاعات عنواني

ACL2 case studies

نام نخستين پديدآور

edited by Matt Kaufmann, Panagiotis Manolios, J Strother Moore.

محل نشرو پخش و غیره

New York ; London

نام ناشر، پخش کننده و غيره

Springer

تاریخ نشرو بخش و غیره

2011

نام خاص و کميت اثر

1 volume ; 24 cm.

عنوان فروست

Advances in formal methods, 4

متن يادداشت

Preface. 1. Introduction. I: Preliminaries. 2. Overview. 3. Summaries of the Case Studies. 4. ACL2 Essentials. II: Case Studies. 5. An Exercise in Graph Theory; J.S. Moore. 6. Modular Proof: The Fundamental Theorem of Calculus; M. Kaufmann. 7. Mu-Calculus Model-Checking; P. Manolios. 8. High-Speed, Analyzable Simulators; D. Greve, et al. 9. Verification of a Simple Pipelined Machine Model; J. Sawada. 10. The DE Language. 11. Using Macros to Mimic VHDL; D. Borrione, et al. 12. Symbolic Trajectory Evaluation; D.A. Jamsek. 13. RTL Verification: A Floating-Point Multiplier; D.M. Russinoff, A. Flatau. 14. Design Verification of a Safety-Critical Embedded Verifier; P. Bertoli, P. Traverso. 15. Compiler Verification Revisited; W. Goerigk. 16. Ivy: A Preprocessor and Proof Checker for First-Order Logic; W. McCune, O. Shumsky. 17. Knuth's Generalization of McCarthy's 91 Function; J. Cowles. 18. Continuity and Differentiability; R. Gamboa. Bibliography. Index.

موضوع مستند نشده

Computer-aided design.

موضوع مستند نشده

Expert systems (Computer science)

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

edited by Matt Kaufmann, Panagiotis Manolios, J Strother Moore.

مستند نام اشخاص تاييد نشده

J Strother Moore

مستند نام اشخاص تاييد نشده

Matt Kaufmann

مستند نام اشخاص تاييد نشده

Panagiotis Manolios

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y