No Cover Image

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...

Full description

Saved in:
Main Author: Griggio, Alberto
Format: Doctoral Thesis
Published: University of Trento 2009
Online Access: http://eprints-phd.biblio.unitn.it/145/