✦ LIBER ✦

Mechanized Reasoning and Hardware Design || Using Nuprl for the Verification and Synthesis of Hardware [and Discussion]

✍ Scribed by Miriam Leeser, T. F. Melham, W. A. Hunt and E. M. Clarke

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

✍ E. M. Clarke, J. R. Burch, O. Grumberg, D. E. Long, K. L. McMillan and P. Thomps 📂 Article 📅 1992 🏛 The Royal Society 🌐 English ⚖ 473 KB

Mechanized Reasoning and Hardware Design

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

Mechanized Reasoning and Hardware Design

📂 Article 📅 1992 🏛 The Royal Society 🌐 English ⚖ 94 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