Formal Hardware Verification 1997

Thomas Kropf (Ed.): Formal Hardware Verification - Methods and Systems in Comparison. Lecture Notes in Computer Science 1287 Springer 1997, ISBN 3-540-63475-4 BibTeX

@proceedings{DBLP:conf/fhv/1997,
  editor    = {Thomas Kropf},
  title     = {Formal Hardware Verification - Methods and Systems in Comparison},
  booktitle = {Formal Hardware Verification},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1287},
  year      = {1997},
  isbn      = {3-540-63475-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Scott Hazelhurst, Carl-Johan H. Seger: Symbolic Trajectory Evaluation. 3-78 BibTeX
Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Zijian Zhou: Verification with Abstract State Machines Using MDGs. 79-113 BibTeX
Jørgen Staunstrup: Design Verification Using Synchronized Transitions. 114-155 BibTeX
Mandayam K. Srivas, Harald Rueß, David Cyrluk: Hardware Verification Using PVS. 156-205 BibTeX
Kathi Fisler, Robert P. Kurshan: Verifying VHDL Designs with COSPAN. 206-247 BibTeX
Klaus Schneider, Thomas Kropf: The C@S System. 248-329 BibTeX
Thomas Kropf: Appendix: The Common Book Examples. 330-367 BibTeX