Modular Termination Verification of Single-Threaded and Multithreaded Programs

Jacobs, BartBartJacobsBosnacki, DraganDraganBosnackiKuiper, RuurdRuurdKuiper2021-10-252021-10-2520181057-4514https://imec-publications.be/handle/20.500.12860/30943Modular Termination Verification of Single-Threaded and Multithreaded ProgramsJournal articlehttps://doi.org/10.1145/3210258