Complx: a verification framework for concurrent imperative programs.

Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah, Joseph Tuong

Browse the full CPP paper archive.