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

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

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

2 Citations (Scopus)

179 Downloads (Pure)

2 Citations
1 PhD Thesis - Research UT, graduation UT

1 results

Filter

2025
Bridging the Implementation Gap: Advancements in Model-Based Concurrent Program Verification
Rubbens, R., 15 Oct 2025, Enschede: University of Twente. 194 p.
Research output: Thesis › PhD Thesis - Research UT, graduation UT

Open Access
File
90 Downloads (Pure)