✦ LIBER ✦

A Compositional Framework for Formally Verifying Modular Systems

✍ Scribed by Carlo A. Furia; Matteo Rossi

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

A formal framework for verifying distrib

✍ Francois Carcenac; Frederic Boniol 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 699 KB

MOVE — a verifying tool for modular soft

✍ Bogdan W. Wiszniewski 📂 Article 📅 1984 🏛 Elsevier Science ⚖ 396 KB

A framework for specifying and verifying

✍ Andrea Bracciali; Antonio Brogi; Franco Turini 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 579 KB

A unified framework for describing and v

✍ Ghislaine Thuau; Bachir Berkane 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 1000 KB

A formal framework for interfacing mixed

✍ Das, Shirshendu; Duggirala, Parasara Sridhar; Kapoor, Hemangee K. 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 595 KB