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.
CITATION STYLE
ter Beek, M. H., Gnesi, S., & Mazzanti, F. (2015). From EU projects to a family of model checkers. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8950, 312–328. https://doi.org/10.1007/978-3-319-15545-6_20
Mendeley helps you to discover research relevant for your work.