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

This volume contains the papers presented at the 18th International OvertureWorkshop, held online on 7th December 2020. This event was the latest in aseries of workshops around the Vienna Development Method (VDM), the open-sourceproject Overture, and related tools and formalisms. VDM is one of the longestestablished formal methods for systems development. A lively community ofresearchers and practitioners has grown up in academia and industry has grownaround the modelling languages (VDM-SL, VDM++, VDM-RT, CML) and tools(VDMTools, Overture, Crescendo, Symphony, the INTO-CPS chain, and ViennaTalk).Together, these provide a platform for work on modelling and analysistechnology that includes static and dynamic analysis, test generation,execution support, and model checking. This workshop provided updates on theemerging technology of VDM/Overture, including collaboration infrastructure,collaborative modelling and co-simulation for Cyber-Physical Systems.

Proceedings of the 18th International Overture Workshop