Partial specifications and compositional verification
Theoretical Computer Science
CTL and ECTL as fragments of the modal &mgr;-calculus
Theoretical Computer Science - Selected papers of the 17th Colloquium on Trees in Algebra and Programming (CAAP '92) and of the European Symposium on Programming (ESOP), Rennes, France, Feb. 1992
Communication and concurrency
Underspecification for a simple process algebra of recursive processes
Theoretical Computer Science
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Possible Worlds for Process Algebras
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
On Model-Checking for Fragments of µ-Calculus
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
Modular Verification of Open Features Using Three-Valued Model Checking
Automated Software Engineering
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
A foundation for behavioural conformance in software product line architectures
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Modal I/O automata for interface and product line theories
ESOP'07 Proceedings of the 16th European conference on Programming
Multi-valued model checking games
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
SALT—structured assertion language for temporal logic
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Design verification for product line development
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Don't Know for Multi-valued Systems
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
TypeChef: toward type checking #ifdef variability in C
FOSD '10 Proceedings of the 2nd International Workshop on Feature-Oriented Software Development
Compositional model checking of software product lines using variation point obligations
Automated Software Engineering
A logical framework to deal with variability
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Reducing configurations to monitor in a software product line
RV'10 Proceedings of the First international conference on Runtime verification
Design and validation of variability in product lines
Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering
Symbolic model checking of software product lines
Proceedings of the 33rd International Conference on Software Engineering
A model-checking tool for families of services
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Parametric modal transition systems
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Modular modelling of software product lines with feature nets
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Compositional algorithmic verification of software product lines
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Efficient verification of evolving software product lines
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Behavioural modelling and verification of real-time software product lines
Proceedings of the 16th International Software Product Line Conference - Volume 1
Towards an executable algebra for product lines
Proceedings of the 16th International Software Product Line Conference - Volume 2
Towards an incremental automata-based approach for software product-line model checking
Proceedings of the 16th International Software Product Line Conference - Volume 2
Family-based deductive verification of software product lines
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
A formal approach to software product families
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
A vision for behavioural model-driven validation of software product lines
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Beyond boolean product-line model checking: dealing with feature attributes and multi-features
Proceedings of the 2013 International Conference on Software Engineering
Efficient quality assurance of variability-intensive systems
Proceedings of the 2013 International Conference on Software Engineering
Verification of variable service orchestrations using model checking
Proceedings of the 2013 International Workshop on Quality Assurance for Service-based Applications
Product-line verification with feature-oriented contracts
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Combining declarative and procedural views in the specification and analysis of product families
Proceedings of the 17th International Software Product Line Conference co-located workshops
A formal framework for software product lines
Information and Software Technology
Intraprocedural dataflow analysis for software product lines
Transactions on Aspect-Oriented Software Development X
Scenario-based verification in presence of variability using a synchronous approach
Frontiers of Computer Science: Selected Publications from Chinese Universities
Formal semantics, modular specification, and symbolic verification of product-line behaviour
Science of Computer Programming
Reducing the verification cost of evolving product families using static analysis techniques
Science of Computer Programming
| Hi-index | 0.00 |
Software product line engineering combines the individual developments of systems to the development of a family of systems consisting of common and variable assets.In this paper we introduce the process algebra PL-CCS as a product line extension of CCS and show how to model the overall behavior of an entire family within PL-CCS. PL-CCS models incorporate behavioral variability and allow the derivation of individual systems in a systematic way due to a semantics given in terms of multi-valued modal Kripke structures. Furthermore, we introduce multi-valued modal μ-calculus as a property specification language for system families specified in PL-CCS and show how model checking techniques operate on such structures. In our setting the result of model checking is no longer a simple yesor noanswer but the set of systems of the product line that do meet the specified properties.