Duration: 1:28:13

62 views

0

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.