- Finantator: CNCS-UEFISCDI
- Tip proiect: Proiecte de cercetare pentru stimularea revenirii in tara a cercetatorilor - tip RP
- Nr. proiect: RP-7/05.08.2010
- Titlul proiectului: Testarea si modelarea formala a aplicatiilor software bazate pe servicii
- Director de proiect: Dr. Alin Stefanescu
- Institutia in care se desfasoară proiectul: Universitatea din Pitesti, Departamentul de Informatica
- Durata proiectului: 1.9.2010 - 31.8.2012
- Bugetul proiectului: 480.879,96 RON