✦ LIBER ✦

Mechanized Reasoning and Hardware Design || Automatic Verification of Sequential Circuit Designs [and Discussion]

✍ Scribed by E. M. Clarke, J. R. Burch, O. Grumberg, D. E. Long, K. L. McMillan and P. Thompson

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Mechanized Reasoning and Hardware Design

✍ Gerard Berry, C. A. R. Hoare and W. A. Hunt 📂 Article 📅 1992 🏛 The Royal Society 🌐 English ⚖ 478 KB

Mechanized Reasoning and Hardware Design

✍ Miriam Leeser, T. F. Melham, W. A. Hunt and E. M. Clarke 📂 Article 📅 1992 🏛 The Royal Society 🌐 English ⚖ 502 KB

Mechanized Reasoning and Hardware Design

✍ David May, Geoff Barrett, David Shepherd, W. A. Hunt and E. M. Clarke 📂 Article 📅 1992 🏛 The Royal Society 🌐 English ⚖ 424 KB

Mechanized Reasoning and Hardware Design

✍ C. H. Pygott, C. A. R. Hoare, W. A. Hunt and M. Fourman 📂 Article 📅 1992 🏛 The Royal Society 🌐 English ⚖ 386 KB

Mechanized Reasoning and Hardware Design

✍ A. W. Roscoe 📂 Article 📅 1992 🏛 The Royal Society 🌐 English ⚖ 446 KB

Mechanized Reasoning and Hardware Design

📂 Article 📅 1992 🏛 The Royal Society 🌐 English ⚖ 169 KB