✦ LIBER ✦

On the verification of sequential equivalence

✍ Scribed by Jiang, J.-H.R.; Brayton, R.K.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

SAT-Based Methods for Sequential Hardwar

✍ Zurab Khasidashvili; Ziyad Hanna 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 105 KB

The Equivalence of Sequential Machine Mo

✍ Hartmanis, Juris 📂 Article 📅 1963 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 488 KB

On the Equivalence of Finite-State Seque

✍ Ibarra, Oscar H. 📂 Article 📅 1967 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 555 KB

Automatable Verification of Sequential C

✍ Anne E. Condon; Alan J. Hu 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 339 KB

On the equivalence of weak dominance and

✍ Makoto Shimoji 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 278 KB

On the Decidability of the Equivalence P

✍ Vladimir A. Zakharov 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 102 KB