Верификација софтвера (LAV)
Алат LAV је спој истраживања у областима статичке верификације софтвера, семантике програмских језика и примена аутоматског резоновања.
Детаљи о овом пројекту могу се наћи на наредној адреси: http://argo.matf.bg.ac.rs/?content=lav