From EU projects to a family of model checkers from Kandinsky to KandISTI (Contributo in volume (capitolo o saggio))

Type
Label
  • From EU projects to a family of model checkers from Kandinsky to KandISTI (Contributo in volume (capitolo o saggio)) (literal)
Anno
  • 2015-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1007/978-3-319-15545-6_20 (literal)
Alternative label
  • Ter Beek M. H., Gnesi S., Mazzanti F. (2015)
    From EU projects to a family of model checkers from Kandinsky to KandISTI
    in Software, Services, and Systems. Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, 2015
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Ter Beek M. H., Gnesi S., Mazzanti F. (literal)
Pagina inizio
  • 312 (literal)
Pagina fine
  • 328 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • Model checking, D.2.4 Software/Program Verification (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://link.springer.com/chapter/10.1007%2F978-3-319-15545-6_20 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • Software, Services, and Systems. Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
  • 8950 (literal)
Note
  • Scopu (literal)
  • PuMa (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR.ISTI, Pisa, Italy (literal)
Titolo
  • From EU projects to a family of model checkers from Kandinsky to KandISTI (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 978-3-319-15544-9 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume
  • Rocco De Nicola, Rolf Hennicker (literal)
Abstract
  • We describe the development of the KandISTI family of model checkers from its origins nearly two decades ago until its very recent latest addition. Most progress was made, however, during two integrated European projects, AGILE and SENSORIA, in which our FM&&T lab participated under the scientific coordination of Martin Wirsing. Moreover, the very name of the family of model checkers is partly due to Martin Wirsing's passion for art and science. (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
data.CNR.it