From EU projects to a family of model checkers. From Kandinsky to KandISTI

DOI10.1007/978-3-319-15545-6_20zbMATH Open1454.68006OpenAlexW1678144MaRDI QIDQ5256356FDOQ5256356

Authors: Maurice H. ter Beek, S. Gnesi, Franco Mazzanti 

Publication date: 22 June 2015

Published in: Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-15545-6_20

Recommendations

• Model checking at IBM
• Computer Aided Verification
• scientific article; zbMATH DE number 1487860
• scientific article; zbMATH DE number 2080188
• The Birth of Model Checking

Mathematics Subject Classification ID

History of computer science (68-03) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• A Calculus for Orchestration of Web Services
• Title not available (Why is that?)
• Software Product Line Engineering
• Modular modelling of software product lines with feature nets
• Modal I/O Automata for Interface and Product Line Theories
• Three logics for branching bisimulation
• Programming languages and systems. 16th European symposium of programming, ESOP 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 -- April 1, 2007. Proceedings.
• A state/event-based model-checking approach for the analysis of abstract system properties
• 20 years of modal and mixed specifications.
• Model Checking Value-Passing Modal Specifications

Cited In (2)

• Special issue on rich models, EU-COST action IC0901 rich-model toolkit
• Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints

Uses Software

• COWS
• VMC
• DeltaCCS

This page was built for publication: From EU projects to a family of model checkers. From Kandinsky to KandISTI

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5256356)