Veriest kick-starts Formal Verification methodology at Valens
Veriest launched a new office in Budapest, hooray!