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.
From EU projects to a family of model checkers. From Kandinsky to KandISTI
Ter Beek M H;Gnesi S;Mazzanti F
2015
Abstract
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.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_327846-doc_100032.pdf
solo utenti autorizzati
Descrizione: From EU projects to a family of model checkers: from Kandinsky to KandISTI
Tipologia:
Versione Editoriale (PDF)
Dimensione
879.05 kB
Formato
Adobe PDF
|
879.05 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
prod_327846-doc_159171.pdf
accesso aperto
Descrizione: From EU projects to a family of model checkers: from Kandinsky to KandISTI
Tipologia:
Versione Editoriale (PDF)
Dimensione
886.51 kB
Formato
Adobe PDF
|
886.51 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.