Description |
xv, 270 pages ; 25 cm |
Series |
Advances in formal methods ; 3 |
|
Advances in formal methods ; 3
|
Contents |
1. Introduction -- I. Preliminaries -- 2. Overview -- II. Programming -- 3. The Language -- 4. Programming Exercises -- 5. Macros -- III. Reasoning -- 6. The Logic -- 7. Proof Examples -- IV. Gaming -- 8. The Mechanical Theorem Prover -- 9. How to Use the Theorem Prover -- 10. Theorem Prover Examples -- 11. Theorem Prover Exercises -- App. A. Using the ACL2 System -- App. B. Additional Features |
Summary |
"Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and upper-division undergraduate courses on Software Engineering or Formal Methods. It is also suitable in conjunction with other books in courses on hardware design, discrete mathematics, or theory, especially courses stressing formalism, rigor, or mechanized support. It is also appropriate for courses on artificial intelligence or automated reasoning and as a reference for business and industry."--BOOK JACKET |
Notes |
"Computer-aided reasoning : an approach and Computer-aided reasoning : ACL2 case studies are two complementary volumes in the Advances in formal methods series."--Series foreword |
|
"We set out to edit the proceedings of a workshop on the ACL2 theorem prover - adding a little introductory material to tie the research papers together - and ended up not with one but with two books. The subject of both books is computer-aided reasoning, from the ACL2 perspective. The first book, this one, is about how to do it; the second book is about what can be done."-- Preface |
Bibliography |
Includes bibliographical references (pages [257]-259) and index |
Subject |
Software engineering.
|
|
Formal methods (Computer science)
|
|
Expert systems (Computer science)
|
Author |
Manolios, Panagiotis.
|
|
Moore, J Strother, 1947-
|
LC no. |
00038636 |
ISBN |
0792377443 alkaline paper |
|
0792378806 not on item |
|