Inductive Invariant Checking with Partial Negative Application Conditions (Q2947222): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W951772279
@@ Property / OpenAlex ID: W951772279 / rank @@
+Normal rank
@@ Property / cites work @@
+A General Framework for Well-Structured Graph Transformation Systems
+Normal rank
@@ Property / cites work @@
+Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking
+Normal rank
@@ Property / cites work @@
+Correctness of high-level transformation systems relative to nested conditions
+Normal rank
@@ Property / cites work @@
+Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking
+Normal rank
@@ Property / cites work @@
+Inductive Invariant Checking with Partial Negative Application Conditions
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
+Normal rank
@@ Property / cites work @@
+Q4791846
@@ Property / cites work: Q4791846 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2947222