✦ LIBER ✦

Formal verification of a realistic compiler

✍ Scribed by Leroy, Xavier

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Compiler verification

✍ Dave, Maulik A. 📂 Article 📅 2003 🏛 Association for Computing Machinery ⚖ 207 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

Formal verification

✍ B Meenakshi 📂 Article 📅 2005 🏛 Indian Academy of Sciences 🌐 English ⚖ 674 KB

A realistic involvement of formal method

✍ D. Bégay; A. Rauzy 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 159 KB 👁 1 views

Formal compiler construction in a logica

✍ Jason Hickey; Aleksey Nogin 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 829 KB

Formal certification of a compiler back-

✍ Leroy, Xavier 📂 Article 📅 2006 🏛 Association for Computing Machinery ⚖ 183 KB