An Effective SMT Engine for Formal Verification
Formal methods are becoming increasingly important for debugging and verifying hardware and software systems, whose current complexity makes the traditional approaches based on testing increasingly-less adequate. One of the most promising research directions in formal verification is based on the...
|Main Author:||Griggio, Alberto|
University of Trento