✦ LIBER ✦

Compositional verification of sequential programs with procedures

✍ Scribed by Dilian Gurov; Marieke Huisman; Christoph Sprenger

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Efficient Verification of Sequential and

✍ S. Chaki; E. Clarke; A. Groce; J. Ouaknine; O. Strichman; K. Yorav 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 627 KB

On verification of programs with goto st

✍ Vladimir Lifschitz 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 293 KB

Verification of programs with half-duple

✍ Gérard Cécé; Alain Finkel 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 327 KB

Compositional Analysis of C/C++ Programs

✍ Juergen Dingel 📂 Article 📅 2006 🏛 Springer-Verlag 🌐 English ⚖ 708 KB

A Simple Sequential Reasoning Approach f

✍ Bart Jacobs; Jan Smans; Frank Piessens; Wolfram Schulte 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 388 KB

Verification of Boolean programs with un

✍ Byron Cook; Daniel Kroening; Natasha Sharygina 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 381 KB