Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Verified Computing Tools

Speaker  Andy Gordon, Bart Jacobs, and Markus Dahlweid

Affiliation  MSR Cambridge, Katholieke Universiteit Leuven, European Microsoft Innovation Center

Host  Judith Bishop

Duration  01:27:48

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.
> Verified Computing Tools