scientific article; zbMATH DE number 5245263

zbMath1153.68016MaRDI QIDQ5447372

Wolfram Schulte, K. Rustan M. Leino

Publication date: 6 March 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

students' guide to automatic program verification

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

A Machine Checked Soundness Proof for an Intermediate Verification Language ⋮ Verification of Equivalent-Results Methods ⋮ Verifying Whiley programs with Boogie

Uses Software

• LARCH
• SPARK
• KRAKATOA
• JML
• SIMPLIFY
• ESC/Java
• Boogie
• KeY

This page was built for publication: