✦ LIBER ✦

Verification system for partial correctness of communicating sequential processes

✍ Scribed by Masaki Murakami; Yasuyoshi Inagaki

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification system for freedom from dea

✍ Masaki Murakami; Yasuyoshi Inagaki 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 600 KB

Correcting for Partial Verification Bias

✍ Joris A.H. de Groot; Kristel J.M. Janssen; Aeilko H. Zwinderman; Patrick M.M. Bo 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 257 KB

Axiomatic system for program correctness

✍ L. V. Chernobrod 📂 Article 📅 1984 🏛 Springer US 🌐 English ⚖ 978 KB

Partial Order Reduction for Verification

✍ Reynald Affeldt; Naoki Kobayashi 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 307 KB

Verification of robust diagnosability fo

✍ Shigemasa Takai 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 459 KB

Automatic verification of safety interlo

✍ S.H. Yang; L.S. Tan; C.H. He 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 82 KB