Verifying annotated program families using symbolic game semantics (Q1680558): 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.2017.09.029
+Normal rank
@@ Property / OpenAlex ID @@
+W2762612122
@@ Property / OpenAlex ID: W2762612122 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+The regular-language semantics of second-order idealized ALGOL
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Program verification using symbolic game semantics
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Variability encoding: from compile-time to load-time variability
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+An error-tolerant type system for variational lambda calculus
+Normal rank
@@ Property / cites work @@
+Finding suitable variability abstractions for family-based analysis
+Normal rank
@@ Property / cites work @@
+Variability-Specific Abstraction Refinement for Family-Based Model Checking
+Normal rank
@@ Property / cites work @@
+From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL
+Normal rank
@@ Property / cites work @@
+Compositional Predicate Abstraction from Game Semantics
+Normal rank
@@ Property / cites work @@
+Q3384159
@@ Property / cites work: Q3384159 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Game Semantic Analysis of Equivalence in IMJ
@@ Property / cites work: Game Semantic Analysis of Equivalence in IMJ / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1680558