Completed
Integration with proof assistants
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Proof Certificates in Satisfiability Modulo Theories - SMT Solver Integration and Verification
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Agenda
- 3 Bugs in SMT Solvers
- 4 For your consideration: proofs!
- 5 Applications of SMT Proofs
- 6 SMT solving
- 7 Boolean Satisfiability (SAT)
- 8 Satisfiability Modulo Theories (SMT)
- 9 Challenges for SMT proofs
- 10 The Journey
- 11 Proof module architecture for CDCL(7)
- 12 Main components: Internal proof calculus
- 13 Main components: Library of proof generators
- 14 Proof generation for substitution and rewriting
- 15 Integration with proof assistants
- 16 Other current/future work
