✦ LIBER ✦

Verification of programs with half-duplex communication

✍ Scribed by Gérard Cécé; Alain Finkel

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On verification of programs with goto st

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

Compositional verification of sequential

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

Verification of probabilistic systems wi

✍ P.A. Abdulla; N. Bertrand; A. Rabinovich; Ph. Schnoebelen 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 283 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

Automata-based verification of programs

✍ Peter Habermehl; Radu Iosif; Tomáš Vojnar 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 933 KB