Browsing Articles by author "Jacobs, Bart"
Now showing items 1-3 of 3
-
Dependency safety for Java - Implementing and testing failboxes
Zhang, Dan; Bosnacki, Dragan; van den Brand, Mark; Huizing, Cornelis; Jacobs, Bart; Kuiper, Ruurd; Wijs, Anton (2019) -
Modular Termination Verification of Single-Threaded and Multithreaded Programs
Jacobs, Bart; Bosnacki, Dragan; Kuiper, Ruurd (2018) -
The Future is Ours: Prophecy Variables in Separation Logic
Jung, Ralf; Lepigre, Rodolphe; Parthasarathy, Gaurav; Rapoport, Marianna; Timany, Amin; Dreyer, Derek; Jacobs, Bart (2020)