✦ LIBER ✦

Verifying Concurrent Data Structures by Simulation

✍ Scribed by Robert Colvin; Simon Doherty; Lindsay Groves

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verifying definite iteration over data s

✍ Stavely, A.M. 📂 Article 📅 1995 🏛 IEEE 🌐 English ⚖ 917 KB

Verisym: Verifying Circuits by Symbolic

✍ William Adams; Warren A. Hunt; Damir Jamsek 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 81 KB

Verifying a demand system by simulation

✍ Henri Theil; Renate Finke; Mercedes C. Rosalsky 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 214 KB

Optimal simulation of self-verifying aut

✍ Galina Jirásková; Giovanni Pighizzini 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 332 KB

Verifying programs by induction on their

✍ Ali Mili 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 512 KB

Modelling and verifying web service orch

✍ Koshkina, Mariya; van Breugel, Franck 📂 Article 📅 2004 🏛 Association for Computing Machinery ⚖ 234 KB