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

Creating safe concurrent algorithms is challenging and error-prone. For thisreason, a formal verification framework is necessary especially when thoseconcurrent algorithms are used in safety-critical systems. The goal of thisguide is to provide resources for beginners to get started in their journey offormal verification using the powerful tool Iris. The difference between thisguide and many others is that it provides (i) an in-depth explanation ofexamples and tactics, (ii) an explicit discussion of separation logic, and(iii) a thorough coverage of Iris and Coq. References to other guides and topapers are included throughout to provide readers with resources through whichto continue their learning.

A beginner guide to Iris, Coq and separation logic