Incorrectness logic for graph programs (Q2117260): Difference between revisions

@@ Property / cites work @@
+Verification of sequential and concurrent programs
+Normal rank
@@ Property / cites work @@
+A framework for the verification of infinite-state graph transformation systems
+Normal rank
@@ Property / cites work @@
+Verifying graph transformation systems with description logics
+Normal rank
@@ Property / cites work @@
+Soundness and Completeness of an Axiom System for Program Verification
+Normal rank
@@ Property / cites work @@
+Correctness of high-level transformation systems relative to nested conditions
+Normal rank
@@ Property / cites work @@
+Weakest Preconditions for High-Level Programs
@@ Property / cites work: Weakest Preconditions for High-Level Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4438775
@@ Property / cites work: Q4438775 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Graph Transformation Systems with Context-Free Specifications
+Normal rank
@@ Property / cites work @@
+Two-level reasoning about graph transformation programs
+Normal rank
@@ Property / cites work @@
+A navigational logic for reasoning about graph properties
+Normal rank
@@ Property / cites work @@
+Institutions for navigational logics for graphical structures
+Normal rank
@@ Property / cites work @@
+Hoare-Style Verification of Graph Programs
@@ Property / cites work: Hoare-Style Verification of Graph Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying Monadic Second-Order Properties of Graph Programs
+Normal rank
@@ Property / cites work @@
+Local reasoning about the presence of bugs: incorrectness separation logic
+Normal rank
@@ Property / cites work @@
+Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions
+Normal rank
@@ Property / cites work @@
+Reverse Hoare Logic
@@ Property / cites work: Reverse Hoare Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5021228
@@ Property / cites work: Q5021228 / rank @@
+Normal rank