Verifying cooperative software: A SMT-based bounded model checking approach for deterministic scheduler

Haitao Zhang, Guoqiang Li, Daniel Sun, Yonggang Lu, Ching-Hsien Hsu