SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability
Conference Paper
Publication Date:
2010
Iris type:
04.01 Contributo in Atti di convegno
Keywords:
Bounded Model Checking; SMT-solvers; Service-Oriented Architectures
List of contributors: