✦ LIBER ✦

Property verification of asynchronous systems

✍ Scribed by Antonio Cerone; George J. Milne

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A system for compositional verification

✍ Ahrendt, Wolfgang; Dylla, Maximilian 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 422 KB

Verification of Asynchronous Circuits us

✍ Marius Bozga; Hou Jianmin; Oded Maler; Sergio Yovine 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 162 KB

Automatic verification of asynchronous c

✍ Dill, D.L.; Clarke, E.M. 📂 Article 📅 1986 🏛 The Institution of Electrical Engineers ⚖ 964 KB

Automatic verification of properties in

✍ A. Arnold; S. Brlek 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 945 KB

Simulation, synthesis, and verification

✍ Dennis Furey; Neil W. Bergmann 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 69 KB

Verification of asynchronous circuits ba

✍ Koichi Masukura; Minoru Tomisaka; Tomohiro Yoneda 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 380 KB