JBernstein: A Validity Checker for Generalized Polynomial Constraints
Abstract elided by the publisher.
Related papers
- Synthesizing Invariants for Polynomial Programs by Semidefinite Programming TOPLAS 2025
- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems CAV 2021
- Liveness Proofs for Hardware Model Checking CAV 2026
- Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation CAV 2015
- Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis SAS 2016
- Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants SAS 2016
- Polynomial Invariant Generation for Floating-Point Programs CAV 2026
- Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints CAV 2023