✦ LIBER ✦

Formal Verification Successes at Motorola

✍ Scribed by Magdy S. Abadir; Kenneth L. Albin; John Havlicek; Narayanan Krishnamurthy; Andrew K. Martin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form

✍ Aichernig, Bernhard K.; Maibaum, Tom 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 213 KB

[Lecture Notes in Computer Science] Veri

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 344 KB