SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability.

Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi

Browse the full SEFM paper archive.