English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

We study SMT problems over the reals containing ordinary differentialequations. They are important for formal verification of realistic hybridsystems and embedded software. We develop delta-complete algorithms for SMTformulas that are purely existentially quantified, as well as exists-forallformulas whose universal quantification is restricted to the time variables. Wedemonstrate scalability of the algorithms, as implemented in our open-sourcesolver dReal, on SMT benchmarks with several hundred nonlinear ODEs andvariables.

Satisfiability Modulo ODEs