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á bibliografie

Vydáno v:	KI. Künstliche Intelligenz (Oldenbourg) Ročník 24; číslo 1; s. 43 - 49
Hlavní autoři:	Ahrendt, Wolfgang, Beckert, Bernhard, Giese, Martin, Rümmer, Philipp
Médium:	Magazine Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer-Verlag 01.04.2010
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!