✦ LIBER ✦

Verification of Boolean programs with unbounded thread creation

✍ Scribed by Byron Cook; Daniel Kroening; Natasha Sharygina

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification problem for linear programs

✍ A. G. Kostanyan 📂 Article 📅 1995 🏛 Springer US 🌐 English ⚖ 379 KB

Automata-based verification of programs

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

Verification of Java Programs with Inter

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

Complexity of Boolean functions over bas

✍ Vlado Dančík 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 260 KB

Formal verification of concurrent progra

✍ Fu, Ming ;Zhang, Yu ;Li, Yong 📂 Article 📅 2010 🏛 Higher Education Press and Springer 🌐 English ⚖ 407 KB

Generalised multi-pattern-based verifica

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