Haitao Zhang, Guoqiang Li 0001, Daniel Sun, Yonggang Lu, Ching-Hsien Hsu. Verifying cooperative software: A SMT-based bounded model checking approach for deterministic scheduler. Journal of Systems Architecture, 81:7-16, 2017. [doi]
Abstract is missing.