Title: | Putting it all together - Formal Verification of the VAMP |
---|---|
Links: | Homepage |
Authors: | Sven Beyer |
Christian Jacobi | |
Daniel Kroening EMail | |
Dirk Leinenbach | |
Wolfgang J. Paul | |
Remarks: | |
Topics: |
Bibtex:
@article{BJKLP05, AUTHOR = { Beyer, Sven and Jacobi, Christian and Kroening, Daniel and Leinenbach, Dirk and Paul, Wolfgang J. }, TITLE = { Putting it all together - Formal Verification of the {VAMP} }, YEAR = { 2006 }, PUBLISHER = { Springer }, PAGES = { 411--430 }, JOURNAL = { Software Tools for Technology Transfer (STTT), Special Section on Recent Advances in Hardware Verification }, VOLUME = { 8 }, ISSUE = { 4--5 }, MONTH = { August }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.