Putting it all together − Formal Verification of the VAMP
Sven Beyer‚ Christian Jacobi‚ Daniel Kroening‚ Dirk Leinenbach and Wolfgang J. Paul
Details
| Journal |
Software Tools for Technology Transfer (STTT)‚ Special Issue on Recent Advances in Hardware Verification |
| Month |
August |
| Number |
4−5 |
| Pages |
411–430 |
| Publisher |
Springer |
| Volume |
8 |
| Year |
2006 |
Links
Related pages
|
People |