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

The B method, developed by Jean-Raymond Abrial, is a formal method which enables an incremental development process (also known as the refinement process). The distribution of the B Method and the creation of experimental research tools face constraints of the market for existing tools: cost, limited access, and limited number of systems (hardware and software) requiring this kind of support. The purpose of the jBTools project is to solve this problem by proposing an open-source platform. In this article, we will present the architecture of the platform, the available base tools (User Interface, Parser, Type Checker) producing an XML format and the optimized code generator for the French project RNTL BOM2.

JBTools: an experimental platform for the formal B method