SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability
Contributo in Atti di convegno
Data di Pubblicazione:
2010
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
Bounded Model Checking; SMT-solvers; Service-Oriented Architectures
Elenco autori:
Pradella, Matteo
Link alla scheda completa: