✦ LIBER ✦

Transactions for Software Model Checking

✍ Scribed by Cormac Flanagan; Shaz Qadeer

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model checking transactional memories

✍ Rachid Guerraoui; Thomas A. Henzinger; Vasu Singh 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 410 KB

Symbolic Model Checking of Software

✍ Flavio Lerda; Nishant Sinha; Michael Theobald 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 978 KB

Space-Reduction Strategies for Model Che

✍ Robby; Matthew B. Dwyer; John Hatcliff; Radu Iosif 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 277 KB

Software model checking without source c

✍ Sagar Chaki; James Ivers 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 550 KB

Software model checking is a rich resear

✍ Antti Valmari 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 311 KB

New results in software model checking a

✍ Corina S. Păsăreanu 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 82 KB