Faster and More Complete Extended Static Checking for the Java Modeling Language

Extended Static Checking (ESC) is a fully automated formal verification technique. Verification in ESC is achieved by translating programs and their specifications into verification conditions (VCs). Proof of a VC establishes the correctness of the program. The implementations of many seemingly simp...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Journal of automated reasoning Ročník 44; číslo 1-2; s. 145 - 174
Hlavní autoři:	James, Perry R., Chalin, Patrice
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Dordrecht Springer Netherlands 01.02.2010 Springer Nature B.V
Témata:	Algorithms Artificial Intelligence Automated reasoning Computation Computer Science Formal method Java (programming language) Mathematical Logic and Formal Languages Mathematical Logic and Foundations Program verification (computers) Specifications Symbolic and Algebraic Manipulation Theorem proving ESC Static verification Theorem provers JML4 Java Modeling Language Extended static checking ESC4
ISSN:	0168-7433, 1573-0670
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!

Buďte první, kdo okomentuje tento záznam!