Now showing items 1-1 of 1
Practical Aspects of Automated Deduction for Program Verification
KI - Künstliche Intelligenz: Vol. 24, No. 1
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 ...