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.


Metrics



Back to previous page