Putting it all together − Formal Verification of the VAMP
Sven Beyer‚ Christian Jacobi‚ Daniel Kroening‚ Dirk Leinenbach and Wolfgang J. Paul
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