HaliVer: Deductive Verification and Scheduling Languages Join Forces.

Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand

Browse the full TACAS paper archive.