- DeepTrust (PROMETEO/2019/098),
- Herramientas formales para la verificación de programas (SP20180225),
- LoBaSS (TIN 2015-69175-C4-1-R),
- SmartLogic (PROMETEOII/2015/013),
- DAMAS (TIN 2013-43732-C4-1-P),
- LogicExtreme (PROMETEO/2011/052),
- SweetLogics-UPV (TIN 2010-21062-C02-02),
- TechnoLogics-UPV (TIN 2007-68093-C02-02),
- FAST (GV06/285),
- SELF (TIN 2004-07943-C04-02),
- Stream (TIC 2001-2705).
