dReal
From MaRDI portal
Software:19210
swMATH7157MaRDI QIDQ19210FDOQ19210
Author name not available (Why is that?)
Cited In (39)
- Implicit definitions with differential equations for KeYmaera X (system description)
- DiffRNN: differential verification of recurrent neural networks
- Optimization modulo non-linear arithmetic via incremental linearization
- Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers
- Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
- Tropical abstraction of biochemical reaction networks with guarantees
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
- Deductive verification of floating-point Java programs in KeY
- Quasi-dependent variables in hybrid automata
- Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems
- Hybrid Multirate PALS
- Generating invariants for non-linear hybrid systems
- A non-linear arithmetic procedure for control-command software verification
- Introducing interval differential dynamic logic
- Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions
- Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability
- raSAT: an SMT solver for polynomial constraints
- Certified Roundoff Error Bounds Using Semidefinite Programming
- Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF
- ProbReach
- Automated deduction -- CADE-24. 24th international conference on automated deduction, Lake Placid, NY, USA, June 9--14, 2013. Proceedings
- Rigorous roundoff error analysis of probabilistic floating-point computations
- Exploring approximations for floating-point arithmetic using UppSAT
- Computing the average inter-sample time of event-triggered control using quantitative automata
- SAT modulo discrete event simulation applied to railway design capacity analysis
- First-order stable model semantics with intensional functions
- An approximation framework for solvers and decision procedures
- Validating numerical semidefinite programming solvers for polynomial invariants
- raSAT: An SMT Solver for Polynomial Constraints
- SMC
- Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control
- Barrier certificates revisited
- Satisfiability Modulo Theories
- Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans
- Construction of parametric barrier functions for dynamical systems using interval analysis
- A search-based procedure for nonlinear real arithmetic
- Rigorous floating-point mixed-precision tuning
- Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description)
- ModelPlex: verified runtime validation of verified cyber-physical system models
This page was built for software: dReal
