The DOI displayed 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

Usage statistics

Categories

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

Keywords

concurrent systems deductive verification formal methods JavaBIP runtime verification VerCors

Licence

CC0

Export as...

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

History

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

Publisher

4TU.ResearchData

Format

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

Associated peer-reviewed publication

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

Funding

• 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

Organizations

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