constant-time programming

H-Houdini: Scalable Invariant Learning

Formal verification is a critical task in hardware design today. Yet, while there has been significant progress in improving technique …

Sushant Dinesh, Yongye Zhu, Christopher W. Fletcher