Modeling and Model Checking Software Product Lines
- 1 January 2008
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Modal I/O Automata for Interface and Product Line TheoriesLecture Notes in Computer Science, 2007
- SALT—Structured Assertion Language for Temporal LogicLecture Notes in Computer Science, 2006
- Modular Verification of Open Features Using Three-Valued Model CheckingAutomated Software Engineering, 2005
- Design Verification for Product Line DevelopmentLecture Notes in Computer Science, 2005
- Underspecification for a simple process algebra of recursive processesTheoretical Computer Science, 2001
- CTL∗ and ECTL∗ as fragments of the modal μ-calculusTheoretical Computer Science, 1994
- On model-checking for fragments of μ-calculusLecture Notes in Computer Science, 1993
- Partial specifications and compositional verificationTheoretical Computer Science, 1991
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980