Lectures related to Program synthesis

Formal Verification and Program Synthesis

Explores Viktor Kuncak's research in formal verification, program synthesis, and teaching activities at EPFL.

Formal Verification and Program Synthesis

By the instructor Viktor Kuncak explores formal verification, program synthesis, and teaching activities at EPFL.

Logic Programming Techniques: Automated Proof Search and Unification

Covers logic programming concepts, focusing on automated proof search and unification techniques in Coq.

Covers Solver-Aided Programming, integrating SMT solvers for program verification, synthesis, and debugging, along with challenges in building solver-aided tools.