Compositional Sequentialization of Periodic Programs.

Sagar Chaki, Arie Gurfinkel, Soonho Kong, Ofer Strichman

Browse the full VMCAI paper archive.