Credit points: 2
This seminar deals with Constrained Horn Clauses (CHCs) and their applications in formal verification. Topics include the reduction of verification problems to CHCs, algorithms to decide the satisfiability of CHCs and more.
This seminar deals with Constrained Horn Clauses (CHCs) and their applications in formal verification. Topics include the reduction of verification problems to CHCs, algorithms to decide the satisfiability of CHCs and more.