✦ LIBER ✦

A formally verified sorting certifier

✍ Scribed by Bright, J.D.; Sullivan, G.F.; Masson, G.M.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Formally Verified Register Allocation

✍ Kent D. Lee 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 305 KB

Formally verified synthesis of combinati

✍ David A. Basin; Geoffrey M. Brown; Miriam E. Leeser 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 895 KB

Formally Verified Argument Reduction wit

✍ Boldo, S.; Daumas, M.; Ren-Cang Li 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 866 KB

Formally Verified Tableau-Based Reasoner

✍ Hidalgo-Doblado, M. J.; Alonso-JimÃ©nez, J. A.; Borrego-DÃaz, J.; MartÃn-Mateo 📂 Article 📅 2013 🏛 Springer Netherlands 🌐 English ⚖ 739 KB

Extracting a formally verified, fully ex

✍ Stefan Berghofer; Martin Strecker 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 176 KB

A formally verified AKA protocol for ver

✍ Mahdi Aiash; Glenford Mapp; Aboubaker Lasebae; Raphael Phan; Jonathan Loo 📂 Article 📅 2012 🏛 Hindawi Publishing Corporation 🌐 English ⚖ 745 KB