Design Validation: Formal Verification vs. Simulation vs. Functional Testing.

Bernd Koenemann, J. Monzel, T. Powell, N. Saxena, K. Wagner

Browse the full VTS paper archive.