Dezyne introduction

Dezyne is a software engineering toolset that enables engineers to specify, design, validate and formally verify software components for industrial, medical & automotive systems.

Ask for an Introduction
https://verum.com/contact/

Download the tool
www.verum.com/free-trial/