Towards Complete Reasoning about Axiomatic Specifications (Q3075488): Difference between revisions

@@ Property / describes a project that uses @@
+VCC
@@ Property / describes a project that uses: VCC / 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.1007/978-3-642-18275-4_20
+Normal rank
@@ Property / OpenAlex ID @@
+W3136909257
@@ Property / OpenAlex ID: W3136909257 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories
+Normal rank
@@ Property / cites work @@
+On Local Reasoning in Verification
@@ Property / cites work: On Local Reasoning in Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental Instance Generation in Local Reasoning
+Normal rank
@@ Property / cites work @@
+Towards Complete Reasoning about Axiomatic Specifications
+Normal rank
@@ Property / cites work @@
+Applications of Hierarchical Reasoning in the Verification of Complex Systems
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample-guided focus
@@ Property / cites work: Counterexample-guided focus / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Locality Results for Certain Extensions of Theories with Bridging Functions
+Normal rank
@@ Property / cites work @@
+Q5446292
@@ Property / cites work: Q5446292 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures for algebraic data types with abstractions
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3075488