Efficient Scalable Verification of LTL Specifications.

Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi

Browse the full ICSE paper archive.