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
www.verum.com/Contact/
Download the tool
www.verum.com/free-trial/