B Translation of an ASM Medical Pillbox Model

Zenodo (CERN European Organization for Nuclear Research) 2026 Dataset Open access

Read full text
Authors: Michaël Leuschel
DOI: 10.5281/zenodo.18757164
Cited by: 0

Abstract

This is a B translation of an ASM model for a medical pillbox. The model accompanies the paper "From Abstract State Machines to B: A Translation of a Medical Pillbox Model" to appear in a Festschrift in honour of Egon Börger. Files: pillbox_final.mch is the B model from the article, pillbox_final_mc.mch is a version for model checking. The original ASM model was published at FM'2024 (LNCS 14934, pages 492-517) by A. Bombarda, S. Bonfanti, A. Gargantini, E. Riccobene, and P. Scandurra.

Fields of Study & Subjects

Formal Methods in Verification Logic programming and type systems Model-Driven Software Engineering Techniques

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
24 February 2026
Language
EN
Document type
Dataset