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/

Zendy Plus

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

Zendy Tools

Zendy Open

We present a tool for verification of hybrid systems expressed in thesequential fragment of HCSP (Hybrid Communicating Sequential Processes). Thetool permits annotating HCSP programs with pre- and postconditions, invariants,and proof rules for reasoning about ordinary differential equations.Verification conditions are generated from the annotations following the rulesof hybrid Hoare logic. We designed labeling and highlighting mechanisms todistinguish and visualize different verification conditions. The tool isimplemented in Python and has a web-based user interface. We evaluated theeffectiveness of the tool on translations of Simulink/Stateflow models and onKeYmaera X benchmarks.

HHLPy: Practical Verification of Hybrid Systems using Hoare Logic