KI - Künstliche Intelligenz: Vol. 24, No. 1 Ahrendt, Wolfgang; Beckert, Bernhard; Giese, Martin; Rümmer, Philipp
Software is vital for modern society. It is used in many safety- or security-critical applications, where a high degree of correctness is desirable. Over the last years, technologies for the formal specification and verification of software—using logic-based specification languages and automated deduction—have matured ...