Teaching Experience: Logic and Formal Methods with Coq
No abstract available.
DOI 10.1007/978-3-642-25379-9_16
Related papers
- Forge: A Tool and Language for Teaching Formal Methods OOPSLA 2024
- Separation logic for sequential programs (functional pearl) ICFP 2020
- Lambda, the ultimate TA: using a proof assistant to teach programming language foundations ICFP 2009
- Teaching Software Specification (Experience Report) ICFP 2025
- Semantic cut elimination for the logic of bunched implications, formalized in Coq CPP 2022
- Contributions to Teaching Object Oriented Design and Programming OOPSLA 1989
- Completeness and decidability of converse PDL in the constructive type theory of Coq CPP 2018
- Formalization of Wu's Simple Method in Coq CPP 2011