SMT-Based Checking of SOLOIST over Sparse Traces.

Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro

Browse the full FASE paper archive.