✦ LIBER ✦

Automatic verification of reduction techniques in Higher Order Logic

✍ Scribed by Abed, Sa’ed; Ait Mohamed, Otmane; Al Sammane, Ghiath

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Verification of a Partial-Order R

✍ Ching-Tsun Chou; Doron Peled 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 147 KB

Simplified technique of model order redu

✍ Morris, A.S. 📂 Article 📅 1984 🏛 The Institution of Electrical Engineers ⚖ 521 KB

Elements of model theory in higher-order

✍ Vilém Novák 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 265 KB

[Lecture Notes in Computer Science] Theo

✍ Gunter, Elsa L.; Felty, Amy 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 813 KB

Application of BDDs in Boolean matching

✍ Janett Mohnke; Paul Molitor; Sharad Malik 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 200 KB

Automated verification of pointer progra

✍ Wang, Zhifang ;Chen, Yiyun ;Wang, Zhenming ;Hua, Baojian 📂 Article 📅 2008 🏛 Higher Education Press and Springer 🌐 English ⚖ 534 KB