Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies

Nhat-Hoa TRAN  Yuki CHIBA  Toshiaki AOKI  

Publication:   IEICE TRANSACTIONS on Information and Systems
Publicized: 2019/03/29
DOI: 10.1587/transinf.2017EDP7391
Full Text: PDF(508.1KB)