Document - From EU projects to a family of model checkers. From Kandinsky to KandISTI

2015

Contribution to book Open Access

From EU projects to a family of model checkers. From Kandinsky to KandISTI

Ter Beek M. H., Gnesi S., Mazzanti F.

Model checking

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.

Source: Software, Services, and Systems. Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, edited by Rocco De Nicola, Rolf Hennicker, pp. 312–328, 2015

Metrics

Back to previous page

Cite as

BibTeX entry

@inbook{oai:it.cnr:prodotti:327846,
	title = {From EU projects to a family of model checkers. From Kandinsky to KandISTI},
	author = {Ter Beek M.  H. and Gnesi S. and Mazzanti F.},
	doi = {10.1007/978-3-319-15545-6_20},
	booktitle = {Software, Services, and Systems. Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, edited by Rocco De Nicola, Rolf Hennicker, pp. 312–328, 2015},
	year = {2015}
}