Formal Hardware Verification 1997

@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
• Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Zijian Zhou: Verification with Abstract State Machines Using MDGs. 79-113
• Jørgen Staunstrup: Design Verification Using Synchronized Transitions. 114-155
• Mandayam K. Srivas, Harald Rueß, David Cyrluk: Hardware Verification Using PVS. 156-205
• Kathi Fisler, Robert P. Kurshan: Verifying VHDL Designs with COSPAN. 206-247
• Klaus Schneider, Thomas Kropf: The C@S System. 248-329
• Thomas Kropf: Appendix: The Common Book Examples. 330-367