From EU Projects to a Family of Model Checkers
- 1 January 2015
- book chapter
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableThis publication has 41 references indexed in Scilit:
- Formal semantics, modular specification, and symbolic verification of product-line behaviourScience of Computer Programming, 2014
- Compositional Verification of Software Product LinesLecture Notes in Computer Science, 2013
- A logical verification methodology for service-oriented computingACM Transactions on Software Engineering and Methodology, 2012
- A calculus for orchestration of web servicesJournal of Applied Logic, 2011
- A state/event-based model-checking approach for the analysis of abstract system propertiesScience of Computer Programming, 2011
- Automated analysis of feature models 20 years later: A literature reviewInformation Systems, 2010
- Modeling and Model Checking Software Product LinesLecture Notes in Computer Science, 2008
- Software Product Line Engineering with the UML: Deriving ProductsPublished by Springer Science and Business Media LLC ,2006
- STAIRS – Steps To Analyze Interactions with Refinement SemanticsLecture Notes in Computer Science, 2003
- Three logics for branching bisimulationJournal of the ACM, 1995