From EU Projects to a Family of Model Checkers

DOI10.1007/978-3-319-15545-6_20zbMath1454.68006OpenAlexW1678144MaRDI QIDQ5256356

Stefania Gnesi, Franco Mazzanti, Maurice H. ter Beek

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

Mathematics Subject Classification ID

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

Related Items (1)

Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints

Uses Software

• COWS
• VMC
• DeltaCCS

Cites Work

• Unnamed Item
• Unnamed Item
• A state/event-based model-checking approach for the analysis of abstract system properties
• 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.
• Modular Modelling of Software Product Lines with Feature Nets
• Model Checking Value-Passing Modal Specifications
• Three logics for branching bisimulation
• Software Product Line Engineering
• A Calculus for Orchestration of Web Services
• Modal I/O Automata for Interface and Product Line Theories

This page was built for publication: From EU Projects to a Family of Model Checkers