CL group: Research People Papers Software Classes PLPV SMT-COMP