✦ LIBER ✦

Toward the Formal Verification of a Unification System

✍ Scribed by Hui Liu; Jinglei Zhao; Ruzhan Lu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Toward the Formal Verification of a Unif

✍ Hui Liu; Jinglei Zhao; Ruzhan Lu 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 307 KB

Formal Verification of a Distributed Com

✍ M. Merritt; A. Orda; S.R Sachs 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 220 KB

Toward a wider use of formal methods for

✍ Yamine Ait Ameur; Frédéric Boniol; Virginie Wiels 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 135 KB

Formal verification of circuits and syst

✍ P. P. Chakrabarti 📂 Article 📅 2002 🏛 Indian Academy of Sciences 🌐 English ⚖ 9 KB

A Formal Verification Environment for Ra

✍ Cinzia Bernardeschi; Alessandro Fantechi; Stefania Gnesi; Salvatore Larosa; Gior 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 316 KB

Formal specification and verification of

✍ Jeffrey J Joyce 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 926 KB