The doi above is for this specific version of this dataset, which is currently the latest. Newer versions may be published in the future. For a link that will always point to the latest version, please use
doi: 10.4121/21763274

Rubbens, Robert; Safina, Larisa; Huisman, Marieke; Bliudze, Simon; van den Bos, Petra (2024): Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java. Version 1. 4TU.ResearchData. software. https://doi.org/10.4121/21763274.v1

Software

• Computer Software and Services
• Other Information and Computing Sciences
• Computer Software
• Computation Theory and Mathematics
• Information and Communication Services
• Information and Computing Sciences

concurrent systems, deductive verification, formal methods, JavaBIP, runtime verification, VerCors

CC0

RefWorks, BibTeX, Reference Manager, Endnote, DataCite, NLM, DC, CFF

by Robert Rubbens , Larisa Safina , Marieke Huisman , Simon Bliudze , Petra van den Bos

This artefact contains an implementation of the Verified JavaBIP toolset as presented in the paper "JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java", as well as the Casino case study discussed in the paper.

The artefact contains all binaries needed to evaluate the toolset, ready to be installed and run into the FASE'23 VM. For that goal there are instructions in the file README.pdf in the artefact. In addition, the artefact also contains scripts and instructions to rebuild the artefact. However, for this an active internet connection is necessary. Instructions for this are in the file AUTHORS_README.md. For the purpose of running the artefact, this author readme can be ignored.

To use, load zip into FASE'23 VM: https://doi.org/10.5281/zenodo.7446277

• 2024-03-13 first online, published, posted

4TU.ResearchData

Zipped resources to be added to the FASE'23 VM.

JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java

• Investissements d’avenir (grant code ANR-16-IDEX-0004 ULNE) [more info...] National Research Agency
• Non-Aggregative Resource Compositions (grant code ANR-21-CE48-0011) [more info...] ANR
• Mercedes: Maximal Reliability of Concurrent and Distributed Software (grant code 639.023.710) [more info...] Dutch Research Council

University of Twente, Faculty of Electrical Engineering, Mathematics and Computer Science, Formal Methods and Tools
University of Lille
Inria Centre de recherche Lille Nord Europe