On Local Reasoning in Verification (Q5458332): Difference between revisions

@@ 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.1007/978-3-540-78800-3_19
+Normal rank
@@ Property / OpenAlex ID @@
+W1573267491
@@ Property / OpenAlex ID: W1573267491 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q3731650
@@ Property / cites work: Q3731650 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial Time Uniform Word Problems
@@ Property / cites work: Polynomial Time Uniform Word Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters
+Normal rank
@@ Property / cites work @@
+Modular proof systems for partial functions with Evans equality
+Normal rank
@@ Property / cites work @@
+Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies
+Normal rank
@@ Property / cites work @@
+Polynomial-time computation via local inference relations
+Normal rank
@@ Property / cites work @@
+Applications of Hierarchical Reasoning in the Verification of Complex Systems
+Normal rank
@@ Property / cites work @@
+Automatic recognition of tractability in inference relations
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation in Local Theory Extensions
@@ Property / cites work: Interpolation in Local Theory Extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
+Normal rank
@@ Property / cites work @@
+Q5446292
@@ Property / cites work: Q5446292 / rank @@
+Normal rank
@@ Property / cites work @@
+On Local Reasoning in Verification
@@ Property / cites work: On Local Reasoning in Verification / rank @@
+Normal rank