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

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fhv/HazelhurstS97
- ask others
Scott Hazelhurst, Carl-Johan H. Seger: Symbolic Trajectory Evaluation. 3-78
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fhv/CernyCLSTZ97
- ask others
Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Zijian Zhou: Verification with Abstract State Machines Using MDGs. 79-113
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fhv/Staunstrup97
- ask others
Jørgen Staunstrup: Design Verification Using Synchronized Transitions. 114-155
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fhv/SrivasRC97
- ask others
Mandayam K. Srivas, Harald Rueß, David Cyrluk: Hardware Verification Using PVS. 156-205
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fhv/FislerK97
- ask others
Kathi Fisler, Robert P. Kurshan: Verifying VHDL Designs with COSPAN. 206-247
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fhv/SchneiderK97
- ask others
Klaus Schneider, Thomas Kropf: The C@S System. 248-329
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fhv/Kropf97
- ask others
Thomas Kropf: Appendix: The Common Book Examples. 330-367