✦ LIBER ✦

Specification and Verification of Concurrent Programs Through Refinements

✍ Scribed by Sandip Ray, Rob Sumners

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Specification and verification of GPGPU

✍ Blom, Stefan; Huisman, Marieke; Mihelčić, Matej 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 612 KB

Modeling, specification, and verificatio

✍ E. V. Kuzmin; V. A. Sokolov 📂 Article 📅 2008 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 261 KB

Modular specification and verification o

✍ Leavens, G.T. 📂 Article 📅 1991 🏛 IEEE 🌐 English ⚖ 938 KB

Specification, Refinement and Verificati

✍ Graeme Smith; John Derrick 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 183 KB

Efficient Verification of Sequential and

✍ S. Chaki; E. Clarke; A. Groce; J. Ouaknine; O. Strichman; K. Yorav 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 627 KB

Interface-Based Specification and Verifi

✍ Aysu Betin-Can; Tevfik Bultan 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 939 KB