How bit-vector logic can help improve the verification of LTL specifications over infinite domains.

Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi

Browse the full SAC paper archive.