Practical Aspects of Automated Deduction for Program Verification

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 ded...

Full description

Saved in:

Bibliographic Details
Published in:	KI. Künstliche Intelligenz (Oldenbourg) Vol. 24; no. 1; pp. 43 - 49
Main Authors:	Ahrendt, Wolfgang, Beckert, Bernhard, Giese, Martin, Rümmer, Philipp
Format:	Magazine Article
Language:	English
Published:	Berlin/Heidelberg Springer-Verlag 01.04.2010
Subjects:	Artificial Intelligence Automated Deduction Computer Science Fachbeitrag Program Verification Software Engineering/Programming and Operating Systems Decision Procedure Satisfiability Modulo Theory Automate Deduction Symbolic Execution Java Modeling Language
ISSN:	0933-1875, 1610-1987
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!