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

• Authors:

• Marcello M. Bersani;Luca Cavallaro;Achille Frigeri;Matteo Pradella;Matteo Rossi

• Affiliations:

• -;-;-;-;-

• Venue:
• SEFM '10 Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods
• Year:
• 2010