✦ LIBER ✦

Refinement-based formal verification with heterogeneous timing

✍ Scribed by Xiaohua Kong; Radu Negulescu; Larry Weidong Ying

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

ASIC verification: Integrating formal ve

✍ Mehran Massoumi; Assim Sagahyroon 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 103 KB

Formal verification of real-time systems

✍ Didier Lime; Olivier (H. ) Roux 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 713 KB