NeVer Tools
Users following NeVerTools
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Stefano Demarchi
sdemarch
Computer Engineer, researcher, developer
Università degli Studi di Genova Genova