✦ LIBER ✦

Automatable Verification of Sequential Consistency

✍ Scribed by Anne E. Condon; Alan J. Hu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automatic verification of sequential con

✍ Il Moon; Gary J. Powers; Jerry R. Burch; Edmund M. Clarke 📂 Article 📅 1992 🏛 American Institute of Chemical Engineers 🌐 English ⚖ 806 KB

Characterization of a sequentially consi

✍ Susanne Graf 📂 Article 📅 1999 🏛 Springer-Verlag 🌐 English ⚖ 206 KB

On the definition of sequential consiste

✍ Ali Sezgin; Ganesh Gopalakrishnan 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 58 KB

Automatic verification of distributed lo

✍ R Mall; L.M Patnaik 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 934 KB

Verification of automatic potentiometers

✍ A. I. Lisenkov 📂 Article 📅 1981 🏛 Springer US 🌐 English ⚖ 411 KB

Automatic verification of dc power meter

✍ N. G. Semenko; A. I. Utkin; F. K. Lezhnin 📂 Article 📅 1986 🏛 Springer US 🌐 English ⚖ 371 KB