Ranking function synthesis for bit-vector relations (Q2248069): Difference between revisions

@@ Property / describes a project that uses @@
+QUBE
@@ Property / describes a project that uses: QUBE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QuBE++
@@ Property / describes a project that uses: QuBE++ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+sKizzo
@@ Property / describes a project that uses: sKizzo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ARMC
@@ Property / describes a project that uses: ARMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+bv2epr
@@ Property / describes a project that uses: bv2epr / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Quantor
@@ Property / describes a project that uses: Quantor / 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/s10703-013-0186-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2071969326
@@ Property / OpenAlex ID: W2071969326 / rank @@
+Normal rank
@@ Property / cites work @@
+Software Verification for Weak Memory via Program Transformation
+Normal rank
@@ Property / cites work @@
+Leaping Loops in the Presence of Abstraction
@@ Property / cites work: Leaping Loops in the Presence of Abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate abstraction of ANSI-C programs using SAT
+Normal rank
@@ Property / cites work @@
+Q2769578
@@ Property / cites work: Q2769578 / rank @@
+Normal rank
@@ Property / cites work @@
+Ranking Function Synthesis for Bit-Vector Relations
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Verification of Counter Systems With Ranking Function
+Normal rank
@@ Property / cites work @@
+Formal Methods in Computer-Aided Design
@@ Property / cites work: Formal Methods in Computer-Aided Design / rank @@
+Normal rank
@@ Property / cites work @@
+Compressing BMC Encodings with QBF
@@ Property / cites work: Compressing BMC Encodings with QBF / rank @@
+Normal rank
@@ Property / cites work @@
+A First Step Towards a Unified Proof Checker for QBF
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficiently solving quantified bit-vector formulas
+Normal rank
@@ Property / cites work @@
+Scalable Shape Analysis for Systems Code
@@ Property / cites work: Scalable Shape Analysis for Systems Code / rank @@
+Normal rank