Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi, Luciano Baresi. On How Bit-Vector Logic Can Help Verify LTL-Based Specifications. IEEE Trans. Software Eng., 48(4):1154-1168, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.