Hitting Families of Schedules for Asynchronous Programs

Chistikov, Dmitry and Majumdar, Rupak and Niksic, Filip
(2016) Hitting Families of Schedules for Asynchronous Programs.
In: Proc. of the 28th International Conference on Computer Aided Verification (CAV 2016).
Conference: CAV Computer Aided Verification

[img] Text
978-3-319-41540-6_9 - Published Version

Download (218kB)

Actions

Actions (login required)

View Item View Item