Experience software design freedom

create explore verify trustPlay movie
engineering tools for software controlled systemsscrol down

About Dezyne

Dezyne is a new generation of model-driven software engineering tools that enables software engineers to create, explore and verify designs for software-controlled systems, leading to generated code that is robust, reliable and trustworthy.

Based on a powerful, open modelling language, Dezyne gives software engineers the ability to fully explore their designs using advanced simulation techniques. Automated formal verification discovers hidden defects that are otherwise practically impossible to find. Efficient code generation instantly turns verified models into executable results.

Dezyne is integrated into the Eclipse and Microsoft Visual Studio IDEs and linked to powerful cloud-based simulation, verification and code generation engines. Within the IDE, Dezyne provides engineers with an unparalleled, interactive view of the structure and behaviour of their designs.

Freed from the constraints of conventional development methods, software engineers are able to focus on rapidly creating innovative software-controlled systems. The result is software that you can trust, based on evidence.
 

The benefits

  • Rapidly construct sophisticated control systems
  • Focus on your creativity while Dezyne manages your changes
  • Reason about your designs, no execution necessary
  • Uncover hidden defects, fully automatically
  • Work with a powerful language in an accustomed environment
  • Spend less time compiling, building and testing
  • Enjoy delivering code that you know is solid
Want to know more?
Robert Howe
Tel: +31402359090 Robert Howe
Review Review
Reviews
Michael van de Ven, Software Technology Specialist, Sioux Embedded Systems BV
"Over the last decade high tech systems have become more powerful,  but also increasingly complex from software point of view. Sioux excels in engineering control systems by mastering and applying technologies like Verum's model-driven software engineering tools. For more than 5 years these tools have boosted our ability to create defect free software. It is absolutely true that there is an increased productivity, resulting in reduced development and maintenance costs and therefore more room for adding customer value"

Michael van de Ven, Software Technology Specialist, Sioux Embedded Systems BV
Verum CommunityCommunity

Become part of our community and get started today

Benefit from the experience and the expertise of our team and other
Dezyne users

Tutorial 1

In this tutorial we introduce some basic Dezyne concepts and illustrate them through a simple example.
Register now for a free evaluation of Dezyne and get software design freedom today!
Register now and we will send you a download link to a free fully featured evaluation version

Sign up now and benefit!

News

TU/e & Verum collaborate on next generation ASD

September 23, 2014Verum and the Eindhoven University of Technology are pleased to announce the start of a research project designed to see TU/e verification technology integrated into Verum’s next generation ASD toolset. The Tetracom funded technology transfer project aims to integrate the mCRL2 model checker, developed by Professor Jan Friso Groote’s team at the Department of Mathematics and Computer Science, with Verum’s new ASD Modelling Language (ASDML) enabling the Verum toolset to verify software designs for a wider range of properties. 

The 9-month project will initially focus on the semantic translation of ASDML into mCRL2. It will also consider how to verify additional properties of ASDML model sets and how to feedback results into the ASDML environment for translation into a user-friendly format. 

“The Verum team is very excited to be working with Professor Groote’s group on the integration of mCRL2 into our product range”, commented Robert Howe, Verum’s CEO. “We believe that adding mCRL2 to our toolset will eventually allow us to offer more value than ever to our customers. The enthusiasm for ASD shown by the TU/e team is also infectious and leads me to believe that mCRL2 and its related tools will become a core part of Verum’s future roadmap.”

The project is being led by Tim Willemse, Assistant Professor, Department of Mathematics and Computer Science who commented, “mCRL2 is an established model checking technology that has seen wide use from the verification of railway signalling systems to analysing the control systems of the Large Hadron Collider at CERN. We believe that working with Verum will lead to the power of mCRL2 verification becoming available to a wide audience of software engineers.”

Should the project be successful Verum plans to include mCRL2 in ASD as soon as possible, potentially as early as Q4 2015. “At the moment our hands are full developing a new generation of tools based on ASDML”, explained Howe. “We expect to launch our new product early in 2015. At that point we will evaluate the progress of the Tetracom project and make plans accordingly.”

Howe sees more opportunities for collaboration with the region’s centres of excellence: “The Eindhoven region is brimming with innovative software engineering technology. We are in discussion on various fronts to gain access to this technology with a view to future commercialisation. Watch this space!”
Robert Howe
Want to know more?Robert Howe
verum

Engineering tools for software controlled systems

Verum exists because our team, along with our customers, believes that there’s a better way to build software systems. We mean to provide software engineers with a range of tools that will free their creativity, liberating them from the constraints of conventional development methods and opening up a new, organised and fun way to create sophisticated software controlled systems
 
Company Background
 
Robert Howe founded Verum in 2004 with the belief that there was a better way to develop complex embedded software. Through the application of proven mathematical techniques, Verum has developed unique technology that is at the heart of our new generation of software design tools.
 
References
 
Verum has established reference customers for its technology which include leading companies such as Philips, ASML, FEI and Ericsson (to name a few). Through these projects we have demonstrated that our products deliver a net 30%-50% improvement in productivity and a corresponding decrease in time to market and software defects.
 
Results such as these have helped Verum's customers to continue to innovate while driving quality improvements.
 
Based close to Eindhoven in The Netherlands, Verum maintains close ties with researchers of the Technical University of Eindhoven (TU/e) and of Oxford University in the UK.

Get in touch with our helpdesk

Verum Software Tools BV
Laan van Diepenvoorde 6, 5582 LA Waalre, The Netherlands
Tel: +31 40 235 9094
Ladislau PostaVerum Helpdesk
Verum CommunityCommunity

Become part of our community and get started today

Benefit from the experience and the expertise of our team and other
Dezyne users