Hardware Verification using PVS

Book Chapter in "Formal Hardware Verification: Methods and Systems in Comparison", Springer-Verlag, LNCS 1287, 1997.

Authors

Mandayam Srivas, Harald Rueß, David Cyrluk

gzipped postscript or postscript

BibTeX Entry


@InCollection{Srivas97:chapter,
  title =        "Hardware Verification Using {PVS}",
  author =       "Mandayam Srivas and Harald Rue{\ss} and David Cyrluk",
  booktitle =    "Formal Hardware Verification: Methods and Systems in
                 Comparison",
  editor =       "Thomas Kropf",
  pages =        "156--205",
  publisher =    "Springer-Verlag",
  series =       "Lecture Notes in Computer Science",
  volume =       "1287",
  year =         "1997",
}

PVS Theories

Harald Ruess: ruess@csl.sri.com