PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Gnesi S., Mazzanti F. From EU projects to a family of model checkers: from Kandinsky to KandISTI. Rocco De Nicola, Rolf Hennicker (eds.). (Lecture Notes in Computer Science, vol. 8950). Heidelberg: Springer, 2015.
 
 
Abstract
(English)
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.
URL: http://link.springer.com/chapter/10.1007%2F978-3-319-15545-6_20
DOI: 10.1007/978-3-319-15545-6_20
Subject Model checking
D.2.4 Software/Program Verification. Model checking


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional