Advertisement

Summaries of the Case Studies

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

Abstract

There are fourteen case studies, organized as follows. The first three, written individually by the editors, are especially appropriate for beginners, but contain useful information for all readers. The next six chapters are related to the formalization, specification, and verification of computer hardware. The next two deal explicitly with computer software applications. The last three focus on problems in logic and mathematics. We say “explicitly” above because all the applications can be seen as illustrative of software verification: since the logic is in essence Lisp, the models being verified are in essence just software systems.

Keywords

State Machine Proof Checker Design Verification Federal Information Processing Standard Trajectory Evaluation 
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