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 }, JOURNAL = { Software Tools for Technology Transfer (STTT), Special Section on Recent Advances in Hardware Verification }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.