Funder
Knowledge Foundation
Swedish Research Council
ELLIIT Strategic Research Environment
German Research Foundation
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference38 articles.
1. Featured transition systems: foundations for verifying variability-intensive systems and their application to LTL model checking;Classen;IEEE Trans. Softw. Eng.,2013
2. A modal process logic;Larsen,1988
3. Equation solving using modal transition systems;Larsen,1990
4. Formal description of variability in product families;Asirelli,2011
5. A model-checking tool for families of services;Asirelli,2011
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Coherent modal transition systems refinement;Journal of Logical and Algebraic Methods in Programming;2024-04
2. Identifying Counterexamples Without Variability in Software Product Line Model Checking;Computers, Materials & Continua;2023
3. LIFTS;Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B;2021-09-06
4. A Formal Framework of Software Product Line Analyses;ACM Transactions on Software Engineering and Methodology;2021-07-31
5. Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints;Lecture Notes in Computer Science;2019