Advertisement

Introduction

  • Matt Kaufmann
  • Panagiotis Manolios
  • J. Strother Moore
Part of the Advances in Formal Methods book series (ADFM, volume 4)

Abstract

This book shows what can be done with computer aided reasoning. Included here are descriptions of mathematical, hardware, and software systems. These systems and their desired properties are modeled with formulas in a mathematical language. That language has an associated mechanized reasoning tool, called ACL2, which is used to prove that these properties hold. With these techniques it is possible to describe components clearly and reliably, permitting them to be combined in new ways with predictable results.

Keywords

Model Check Formal Method Chinese Remainder Theorem Hardware Description Language Common Lisp 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 2000

Authors and Affiliations

  • Matt Kaufmann
    • 1
  • Panagiotis Manolios
    • 2
  • J. Strother Moore
    • 2
  1. 1.Advanced Micro Devices, Inc.AustinUSA
  2. 2.Department of Computer SciencesThe University of Texas at AustinAustinUSA

Personalised recommendations