✦ LIBER ✦

On verification of programs with goto statements

✍ Scribed by Vladimir Lifschitz

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Programs with minimal goto statements

✍ Shigeki Iwata 📂 Article 📅 1978 🏛 Elsevier Science ⚖ 506 KB

On simple programs with primitive condit

✍ Oscar H. Ibarra; Louis E. Rosier 📂 Article 📅 1985 🏛 Elsevier Science ⚖ 950 KB

Verification of programs with half-duple

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

Compositional verification of sequential

✍ Dilian Gurov; Marieke Huisman; Christoph Sprenger 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 543 KB

Verification of Boolean programs with un

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

Verification of Java Programs with Inter

✍ Nathaniel Charlton 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 331 KB