Towards SMT Model Checking of Array-Based Systems (Q3541687): 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-71070-7_6
+Normal rank
@@ Property / OpenAlex ID @@
+W1511903507
@@ Property / OpenAlex ID: W1511903507 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)
+Normal rank
@@ Property / cites work @@
+Parameterized Verification of Infinite-State Processes with Global Conditions
+Normal rank
@@ Property / cites work @@
+Rewriting Systems with Data
@@ Property / cites work: Rewriting Systems with Data / rank @@
+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 @@
+Q4809077
@@ Property / cites work: Q4809077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards SMT Model Checking of Array-Based Systems
@@ Property / cites work: Towards SMT Model Checking of Array-Based Systems / rank @@
+Normal rank
@@ Property / cites work @@
+On Local Reasoning in Verification
@@ Property / cites work: On Local Reasoning in Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking with rich assertional languages
+Normal rank
@@ Property / cites work @@
+Solving SAT and SAT Modulo Theories
@@ Property / cites work: Solving SAT and SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Perspectives of System Informatics
@@ Property / cites work: Perspectives of System Informatics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3506045
@@ Property / cites work: Q3506045 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3541687