Решавач САДРЖАЈА СПАРКЛА (SpeCS)
Алат SPECS предствља спој истраживања у областима семантике програмских језика, формалних метда и примена аутоматског резоновања.
Детаљи о овом пројекту могу се наћи на наредној адреси: http://argo.matf.bg.ac.rs/?content=specs