CAV paper first commit
paper outline