2015 | OriginalPaper | Buchkapitel
From EU Projects to a Family of Model Checkers
From Kandinsky to KandISTI
Autoren: Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti
Verlag: Springer International Publishing
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.
