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

Celý popis

Podrobná bibliografia

Vydané v:	KI. Künstliche Intelligenz (Oldenbourg) Ročník 24; číslo 1; s. 43 - 49
Hlavní autori:	Ahrendt, Wolfgang, Beckert, Bernhard, Giese, Martin, Rümmer, Philipp
Médium:	Magazine Article
Jazyk:	English
Vydavateľské údaje:	Berlin/Heidelberg Springer-Verlag 01.04.2010
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!