✦ LIBER ✦

Compiler verification

✍ Scribed by Dave, Maulik A.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Compiler Verification and Compiler Archi

✍ Gerhard Goos 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 75 KB

Formal verification of a realistic compi

✍ Leroy, Xavier 📂 Article 📅 2009 🏛 Association for Computing Machinery 🌐 English ⚖ 678 KB

Specification, Verification and Prototyp

✍ Jifeng, He; Bowen, Jonathan 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 1017 KB

Verification of Authentication Protocols

✍ Kai-Le Su; Qing-Liang Chen; Abdul Sattar; Wei-Ya Yue; Guan-Feng Lv; Xi-Zhong Zhe 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 458 KB

Formal verification of synchronous data-

✍ Ngo, Van Chan; Talpin, Jean-Pierre; Gautier, Thierry; Guernic, Paul; Besnard, Lo 📂 Article 📅 2013 🏛 Springer-Verlag 🌐 English ⚖ 607 KB

An Approach to the Specification and Ver

✍ Jonathan P. Bowen; He Jifeng 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 118 KB