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)