✦ LIBER ✦

Automata-based verification of programs with tree updates

✍ Scribed by Peter Habermehl; Radu Iosif; Tomáš Vojnar

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Abstract Interpretation based Verificati

✍ Marco Comini; Roberta Gori; Giorgio Levi; Paolo Volpe 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 958 KB

Abstract Interpretation Based Verificati

✍ Giorgio Levi 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 27 KB

Abstract interpretation based verificati

✍ Marco Comini; Roberta Gori; Giorgio Levi; Paolo Volpe 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 400 KB

Formal verification of components assemb

✍ Samir Chouali; Ahmed Hammad 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 524 KB

Generalised multi-pattern-based verifica

✍ Milan Češka; Pavel Erlebach; Tomáš Vojnar 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 260 KB

Pattern-Based Verification of Programs w

✍ Milan Češka; Pavel Erlebach; Tomáš Vojnar 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 329 KB