KandISTI: a family of model checkers for the analysis of software designs (Articolo in rivista)

Type
Label
  • KandISTI: a family of model checkers for the analysis of software designs (Articolo in rivista) (literal)
Anno
  • 2014-01-01T00:00:00+01:00 (literal)
Alternative label
  • Ter Beek M. H., Gnesi S., Mazzanti F. (2014)
    KandISTI: a family of model checkers for the analysis of software designs
    in ERCIM news; ERCIM - European Research Consortium for Informatics and Mathematics, Biot - Sophia Antipolis (Francia)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Ter Beek M. H., Gnesi S., Mazzanti F. (literal)
Pagina inizio
  • 31 (literal)
Pagina fine
  • 32 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • Special issue: Software Quality (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://ercim-news.ercim.eu/en99/special/kandisti-a-family-of-model-checkers-for-the-analysis-of-software-designs (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 99 (literal)
Rivista
Note
  • PuMa (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • ( cnr ) CNR-ISTI, Pisa; ( cnr ) CNR-ISTI, Pisa; ( cnr ) CNR-ISTI, Pisa (literal)
Titolo
  • KandISTI: a family of model checkers for the analysis of software designs (literal)
Abstract
  • Driven by a series of European projects, researchers from the Formal Methods and Tools lab of ISTI-CNR have developed a family of model-checking tools for the computer-aided verification of the correctness of software designs. To date, these tools have been applied to a range of case studies in the railway, automotive and telecommunication fields. (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Editore di
Insieme di parole chiave di
data.CNR.it