Lecture

Formal Verification in Software Construction

Description

This lecture covers formal verification in software construction, focusing on techniques like specifying properties, testing, and proving programs. It also discusses the use of automated tools and human effort to construct proofs, compiling programs to formulas, and various tools used in program verification.

About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.