Decision procedures for extensions of the theory of arrays (Q2457800): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10472-007-9078-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2154032363
@@ Property / OpenAlex ID: W2154032363 / rank @@
+Normal rank
@@ Property / cites work @@
+Frontiers of Combining Systems
@@ Property / cites work: Frontiers of Combining Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A rewriting approach to satisfiability procedures.
+Normal rank
@@ Property / cites work @@
+Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures
+Normal rank
@@ Property / cites work @@
+Efficient theory combination via Boolean search
@@ Property / cites work: Efficient theory combination via Boolean search / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q3024760
@@ Property / cites work: Q3024760 / rank @@
+Normal rank
@@ Property / cites work @@
+Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs
+Normal rank
@@ Property / cites work @@
+Assignment Commands with Array References
@@ Property / cites work: Assignment Commands with Array References / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3743300
@@ Property / cites work: Q3743300 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Model-theoretic methods in combined constraint satisfiability
+Normal rank
@@ Property / cites work @@
+Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies
+Normal rank
@@ Property / cites work @@
+Presburger arithmetic with array segments
@@ Property / cites work: Presburger arithmetic with array segments / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for the Correctness of a Class of Programs
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751359
@@ Property / cites work: Q2751359 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about arrays
@@ Property / cites work: Reasoning about arrays / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification Decidability of Presburger Array Programs
+Normal rank
@@ Property / cites work @@
+Logic and structure.
@@ Property / cites work: Logic and structure. / rank @@
+Normal rank