Verum Software Tools is the commercial vehicle that was used to create the ASD:Suite in 2008, and since 2014 its successor, the programming language Dezyne, releasing it as Free Software in 2021. Verum offers a professional IDE called Verum-Dezyne.
Thermo Fisher Scientific has been embracing Dezyne and its predecessor since 2005 and supporting it since 2019 through co-development with Verum.
mCRL2 is the model checker that Dezyne uses. It has been created and is actively being developed by Jan Friso Groote and others at the Eindhoven University of technology (TU/e).
Reasonable Sourcery Cooperative is the research and development spin-off organization of Verum. It takes care of the research and development of Dezyne, especially for Verum and Thermo Fisher, and focusses on further researching and developing Correctness for Free Software.