KLEE is the new INESC TEC research project