Generalized abstraction-refinement for game-based CTL lifted model checking (Q2193289): Difference between revisions

@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2020.06.011
+Normal rank
@@ Property / OpenAlex ID @@
+W3036435269
@@ Property / OpenAlex ID: W3036435269 / rank @@
+Normal rank
@@ Property / cites work @@
+Software Product Line Engineering
@@ Property / cites work: Software Product Line Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL
+Normal rank
@@ Property / cites work @@
+Abstract family-based model checking using modal featured transition systems: preservation of \(\mathrm{CTL}^{\star}\)
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of DPDA equivalence
@@ Property / cites work: Decidability of DPDA equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+A game-based framework for CTL counterexamples and 3-valued abstraction-refinement
+Normal rank
@@ Property / cites work @@
+Compositional verification and 3-valued abstractions join forces
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q3999206
@@ Property / cites work: Q3999206 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414390
@@ Property / cites work: Q4414390 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536712
@@ Property / cites work: Q4536712 / rank @@
+Normal rank
@@ Property / cites work @@
+Feature integration using a feature construct
@@ Property / cites work: Feature integration using a feature construct / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Modal I/O Automata for Interface and Product Line Theories
+Normal rank
@@ Property / cites work @@
+Variability-Specific Abstraction Refinement for Family-Based Model Checking
+Normal rank
@@ Property / cites work @@
+Finding suitable variability abstractions for lifted analysis
+Normal rank