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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	KI. Künstliche Intelligenz (Oldenbourg) Jg. 24; H. 1; S. 43 - 49
Hauptverfasser:	Ahrendt, Wolfgang, Beckert, Bernhard, Giese, Martin, Rümmer, Philipp
Format:	Magazine Article
Sprache:	Englisch
Veröffentlicht:	Berlin/Heidelberg Springer-Verlag 01.04.2010
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!