scientific article; zbMATH DE number 7453194

MaRDI QIDQ5020654

Alexis Grall, Horatiu Cirstea, Dominique Méry

Publication date: 6 January 2022

Full work available at URL: https://arxiv.org/abs/2008.02935

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Rodin
• EventB2Java

Cites Work

• Unnamed Item
• A mechanically proved and incremental development of IEEE 1394 tree identify protocol
• Verification by construction of distributed algorithms
• Introduction to Distributed Algorithms

This page was built for publication: