✦ LIBER ✦

Formal Verification based on Boolean Expression Diagrams

✍ Scribed by Poul Frederick Williams

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Verification Techniques Based on

✍ Xiao-Wei Li; Guang-Hui Li; Ming Shao 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 611 KB

An approach to sequential circuit diagno

✍ G. Cabodi; P. Camurati; F. Corno; P. Prinetto; M. Sonza Reorda 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 631 KB

A formal method for data flow diagram ba

✍ Wu Guoqing; Liu Liangguan; Xu Yu 📂 Article 📅 1997 🏛 Wuhan University 🌐 English ⚖ 58 KB

Modeling and formal verification of embe

✍ Luis Alejandro Cortés; Petru Eles; Zebo Peng 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 646 KB

RETRACTED ARTICLE: Study on the expressi

✍ Limin Ma; Xiangqian Jiang; Jinxing Wang; Zhengao Xu; Zhu Li 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 300 KB

Erratum to: Retraction Note: Study on th

✍ Limin Ma; Xiangqian Jiang; Jinxing Wang; Zhengao Xu; Zhu Li 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 40 KB