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

doi:10.4121/21763274

Ctrl K

Software Projects Organisations Communities News

Ctrl K

.css-1e132ge{font-family:-apple-system,BlinkMacSystemFont,'Segoe UI',Roboto,'Helvetica Neue',Arial,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';font-weight:400;font-size:0.875rem;line-height:1.43;background-color:transparent;display:-webkit-box;display:-webkit-flex;display:-ms-flexbox;display:flex;padding:6px 16px;color:rgb(96, 54, 20);background-color:rgb(253, 243, 234);width:100vw;-webkit-box-pack:center;-ms-flex-pack:center;-webkit-justify-content:center;justify-content:center;margin-top:1rem;z-index:9;}.css-1e132ge .MuiAlert-icon{color:#ed6c02;}.css-1pl9tfm{background-color:#fff;color:rgba(34,36,37,1);-webkit-transition:box-shadow 300ms cubic-bezier(0.4, 0, 0.2, 1) 0ms;transition:box-shadow 300ms cubic-bezier(0.4, 0, 0.2, 1) 0ms;border-radius:2px;box-shadow:var(--Paper-shadow);background-image:var(--Paper-overlay);overflow:auto;font-family:-apple-system,BlinkMacSystemFont,'Segoe UI',Roboto,'Helvetica Neue',Arial,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';font-weight:400;font-size:0.875rem;line-height:1.43;background-color:transparent;display:-webkit-box;display:-webkit-flex;display:-ms-flexbox;display:flex;padding:6px 16px;color:rgb(96, 54, 20);background-color:rgb(253, 243, 234);width:100vw;-webkit-box-pack:center;-ms-flex-pack:center;-webkit-justify-content:center;justify-content:center;margin-top:1rem;z-index:9;}.css-1pl9tfm .MuiAlert-icon{color:#ed6c02;}

Limited functionality: Your browser does not support JavaScript.

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

mentions

contributors

Get started

Description

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

Keywords

concurrent systems

Deductive verification

License