PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Gnesi S., Mazzanti F. KandISTI: a family of model checkers for the analysis of software designs. In: ERCIM News, vol. 99 pp. 31 - 32. Special issue: Software Quality. ERCIM, 2014.
 
 
Abstract
(English)
Driven by a series of European projects, researchers from the Formal Methods and Tools lab of ISTI-CNR have developed a family of model-checking tools for the computer-aided verification of the correctness of software designs. To date, these tools have been applied to a range of case studies in the railway, automotive and telecommunication fields.
URL: http://ercim-news.ercim.eu/en99/special/kandisti-a-family-of-model-checkers-for-the-analysis-of-software-designs
Subject Model checking
Software quality
D.2.4 Software/Program Verification. Formal methods
D.2.4 Software/Program Verification. Model checking
D.2.4 Software/Program Verification. Validation


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional