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/