GI-08 – Certification of computer programs using a proof assistant
An Executable Semantic Framework for Rigorous Design, Analysis and Testing of Systems (DAK)
Verificare Automata Prin Circularitati (CIRC)
Cresterea imunitatii la atacuri Zero-Day prin analiza statica (IZA)
