## Find a copy online

### Links to this item

## Find a copy in the library

Finding libraries that hold this item...

## Details

Genre/Form: | Electronic books |
---|---|

Additional Physical Format: | Print version: |

Material Type: | Document, Internet resource |

Document Type: | Internet Resource, Computer File |

All Authors / Contributors: |
Matt Kaufmann; Panagiotis Manolios; J Strother Moore |

ISBN: | 9781475731880 1475731884 |

OCLC Number: | 851793661 |

Description: | 1 online resource (xv, 337 pages). |

Contents: | 1 Preface Introduction -- I Preliminaries -- 2 Overview -- 3 Summaries of the Case Studies -- 4 ACL2 Essentials -- II Case Studies -- 5 An Exercise in Graph Theory -- 6 Modular Proof: The Fundamental Theorem of Calculus -- 7 Mu-Calculus Model-Checking -- 8 High-Speed, Analyzable Simulators -- 9 Verification of a Simple Pipelined Machine Model -- 10 The DE Language -- 11 Using Macros to Mimic VHDL -- 12 Symbolic Trajectory Evaluation -- 13 RTL Verification: A Floating-Point Multiplier -- 14 Design Verification of a Safety-Critical Embedded Verifier -- 15 Compiler Verification Revisited -- 16 Ivy: A Preprocessor and Proof Checker for First-Order Logic -- 17 Knuth's Generalization of McCarthy's 91 Function -- 18 Continuity and Differentiability. |

Series Title: | Advances in formal methods, 4. |

Responsibility: | edited by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore. |

### Abstract:

Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems.
Read more...

## Reviews

*User-contributed reviews*

Add a review and share your thoughts with other readers.
Be the first.

Add a review and share your thoughts with other readers.
Be the first.

## Tags

Add tags for "Computer-Aided Reasoning : ACL2 Case Studies".
Be the first.

## Similar Items

### Related Subjects:(3)

### User lists with this item (1)

- Machine learning CS 9(471 items)
by NpNp updated 2018-02-27