SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability (Contributo in atti di convegno)

Type
Label
  • SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability (Contributo in atti di convegno) (literal)
Anno
  • 2010-01-01T00:00:00+01:00 (literal)
Alternative label
  • M. Bersani, L. Cavallaro, A. Frigeri, M. Pradella, M. Rossi (2010)
    SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability
    in 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM), Pisa
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • M. Bersani, L. Cavallaro, A. Frigeri, M. Pradella, M. Rossi (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • Proc. of 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) Data: 13-18 Settembre 2010 (literal)
Note
  • ISI Web of Science (WOS) (literal)
Titolo
  • SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Insieme di parole chiave di
data.CNR.it