Veriest announces opening of Budapest office

Veriest kick-starts Formal Verification methodology at Valens