Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis

Jan Heuer

With the increase in industrial applications using Answer Set Programming, the need for formal verification tools, particularly for critical applications, has also increased. Durin…