u/mttdin r/ProgrammingLanguages • Recommends
Constrained Horn Clauses for Verification and Synthesis
0:00 / 0:00
#constrainedhornclauses#programverification#programsynthesis
Constrained Horn Clauses for Verification and Synthesis
VSS-IARCS
101 subscribers • 1 video on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Grigory Fedyukovich
Advanced. Deep dive for people who know the field.
1.2K views4 years ago1 recommendation
Computer scienceProgramming languagesComputation and complexityFormal methods and verification
Grigory Fedyukovich explains how constrained Horn clauses are used as a uniform format for program verification and synthesis.
Talk by Grigory Fedyukovich in the IARCS Verification Seminar Series, on August 4, 2021. More details can be found on the webpage: fmindia.cmi.ac.in/vss/about.htmlWhy it's here
1 person recommends thisWhat people say. Shared as a comprehensive seminar on using constrained Horn clauses for formal verification and program synthesis.