Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proof systems for satisfiability in Hennessy-Milner logic with recursion
Theoretical Computer Science - Special issue on the Thirteenth Colleque sur les Arbres en Alge`bre et en Programmation Nancy, March 1988
Three logics for branching bisimulation
Journal of the ACM (JACM)
Model checking
Abstraction-Based Model Checking Using Modal Transition Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
Model-Checking: A Tutorial Introduction
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
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
A configurable reference modelling language
Information Systems
Modeling Variability in Business Process Models Using UML
ITNG '08 Proceedings of the Fifth International Conference on Information Technology: New Generations
Modeling and Model Checking Software Product Lines
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Formal Modeling for Product Families Engineering
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Calculating and Modeling Common Parts of Software Product Lines
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Model Checking of Domain Artifacts in Product Line Engineering
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Service-oriented architectures and software product lines: enhancing variation
Proceedings of the 13th International Software Product Line Conference
Modal I/O automata for interface and product line theories
ESOP'07 Proceedings of the 16th European conference on Programming
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Preserving correctness during business process model configuration
Formal Aspects of Computing
A logical framework to deal with variability
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Symbolic model checking of software product lines
Proceedings of the 33rd International Conference on Software Engineering
A logical verification methodology for service-oriented computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using coordinated actors to model families of distributed systems
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Incremental model-based testing of delta-oriented software product lines
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Parameterized preorder relations for model-based testing 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
Strategies for product-line verification: case studies and experiments
Proceedings of the 2013 International Conference on Software Engineering
Reducing the verification cost of evolving product families using static analysis techniques
Science of Computer Programming
| Hi-index | 0.00 |
We propose a model-checking tool for on-the-fly verification of properties expressed in a branching-time temporal logic based on a deontic interpretation of classical modal and temporal operators over modal transition systems. We apply this tool to the analysis of variability in behavioural descriptions of families of services.