✦ LIBER ✦

Runtime verification of concurrency-specific correctness criteria

✍ Scribed by Shaz Qadeer, Serdar Tasiran

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Interface-Based Specification and Verifi

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

Specification and Verification of Concur

✍ Sandip Ray, Rob Sumners 📂 Article 📅 2012 🏛 Springer Netherlands 🌐 English ⚖ 787 KB

JCML: A specification language for the r

✍ Umberto Souza da Costa; Anamaria Martins Moreira; Martin A. Musicante; Plácido A 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 753 KB

Specification, Refinement and Verificati

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

Correction to "Specification and Verific

✍ Sunshine, C.A.; Thompson, D.H.; Erickson, R.W.; Gerhart, S.L.; Schwabe, D. 📂 Article 📅 1983 🏛 IEEE 🌐 English ⚖ 138 KB

15.21: Attenuation correction improves s

✍ SOMAN, P; RAJAGOPALAN, M; AHMAD, F; RUSZKIEWICZ, M; FOLLANSBEE, W 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 42 KB