Speaker Andy Gordon, Bart Jacobs, and Markus Dahlweid
Host Judith Bishop
Affiliation MSR Cambridge, Katholieke Universiteit Leuven, European Microsoft Innovation Center
Date recorded 14 April 2011
Over the last decade SAT and SMT solver technology has revolutionized our ability to prove many relevant properties of substantial pieces of software. The fact that verifying software approaches practical feasibility today is based on two corner stones: it is certainly the theoretical advancements in the theory of verification, but even more so the practical improvements in the performance proof engines. This presentations in this session show how software verification tools benefit from the enormous improvements in prover technology to automate different kinds of verification activities.
©2011 Microsoft Corporation. All rights reserved.