SoftwareApplication
identifier: 10.4121/21763274
name: Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java
description: Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java
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
author: https://orcid.org/0000-0002-5638-5945
author: https://orcid.org/0000-0002-4490-7451
author: 0000-0003-4467-072X
author: https://orcid.org/0000-0002-7900-5271
author: Person
  given name: Petra
  family name: van den Bos
  name: Petra van den Bos
keywords: formal methods
keywords: Deductive verification
keywords: VerCors
keywords: runtime verification
keywords: JavaBIP
keywords: concurrent systems
license:
  creative work: creativeWork
    name: CC0-1.0
reference publication: 978-3-031-30826-0 8

https://orcid.org/0000-0002-5638-5945
type: Person
given name: Robert
family name: Rubbens
name: Robert Rubbens

https://orcid.org/0000-0002-4490-7451
type: Person
given name: Larisa
family name: Safina
name: Larisa Safina

0000-0003-4467-072X
type: Person
given name: Marieke
family name: Huisman
name: Marieke Huisman

https://orcid.org/0000-0002-7900-5271
type: Person
given name: Simon
family name: Bliudze
name: Simon Bliudze

978-3-031-30826-0 8
type: ScholarlyArticle
name: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java
pagination: 143-150
url: https://doi.org/10.1007%2F978-3-031-30826-0_8