✦ LIBER ✦

Verification of Java Programs with Interacting Analysis Plugins

✍ Scribed by Nathaniel Charlton

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Static verification of dynamically detec

✍ Jeremy W. Nimmer; Michael D. Ernst 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 339 KB

Automata-based verification of programs

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

Verification of Boolean programs with un

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

Formal verification of concurrent progra

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

Program Instrumentation and Run-Time Ana

✍ D. Garbervetsky; C. Nakhli; S. Yovine; H. Zorgati 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 393 KB

Generalised multi-pattern-based verifica

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