Sharper and Simpler Nonlinear Interpolants for Program Verification (Q5056007): Difference between revisions

@@ Property / describes a project that uses @@
+Orbital library
@@ Property / describes a project that uses: Orbital library / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2962939325
@@ Property / OpenAlex ID: W2962939325 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.00314
@@ Property / arXiv ID: 1709.00314 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Reflexive Arithmetic Tactics the Linear Case and Beyond
+Normal rank
@@ Property / cites work @@
+Q3770650
@@ Property / cites work: Q3770650 / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Barrier certificates revisited
@@ Property / cites work: Barrier certificates revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Generating Non-linear Interpolants by Semidefinite Programming
+Normal rank
@@ Property / cites work @@
+Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF
+Normal rank
@@ Property / cites work @@
+Interpolants in nonlinear theories over the reals
@@ Property / cites work: Interpolants in nonlinear theories over the reals / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation Properties and SAT-Based Model Checking
+Normal rank
@@ Property / cites work @@
+Verifying Nonlinear Real Formulas Via Sums of Squares
+Normal rank
@@ Property / cites work @@
+Abstractions from proofs
@@ Property / cites work: Abstractions from proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars
+Normal rank
@@ Property / cites work @@
+Craig Interpolation in the Presence of Non-linear Constraints
+Normal rank
@@ Property / cites work @@
+Q4843175
@@ Property / cites work: Q4843175 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Lazy Abstraction with Interpolants
@@ Property / cites work: Lazy Abstraction with Interpolants / rank @@
+Normal rank
@@ Property / cites work @@
+Sharper and Simpler Nonlinear Interpolants for Program Verification
+Normal rank
@@ Property / cites work @@
+Semidefinite programming relaxations for semialgebraic problems
+Normal rank
@@ Property / cites work @@
+Computing sum of squares decompositions with rational coefficients
+Normal rank
@@ Property / cites work @@
+Real World Verification
@@ Property / cites work: Real World Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4285035
@@ Property / cites work: Q4285035 / rank @@
+Normal rank
@@ Property / cites work @@
+Validating numerical semidefinite programming solvers for polynomial invariants
+Normal rank
@@ Property / cites work @@
+Verification of positive definiteness
@@ Property / cites work: Verification of positive definiteness / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Solving for Interpolation
@@ Property / cites work: Constraint Solving for Interpolation / rank @@
+Normal rank
@@ Property / cites work @@
+A Data Driven Approach for Algebraic Loop Invariants
+Normal rank
@@ Property / cites work @@
+A Nullstellensatz and a Positivstellensatz in semialgebraic geometry
+Normal rank
@@ Property / cites work @@
+SDPT3 — A Matlab software package for semidefinite programming, Version 1.3
+Normal rank