A leading developer of software design tools to create, simulate, mathematically verify and automatically generate code for embedded and cyber-physical systems.
We support software engineers with toolsets and solutions that create defect-free software, fast and reliable. We make applying formal methods trivial, in our tools the verification works the for the engineer the same way as a grammar checker in a word processor.
Dezyne is an open, C-like language for developing complex embedded software. It uses a "Design by Contract" approach, serving as an intermediary between formal models and target source code. Dezyne's building blocks are interfaces and components, enabling the creation of complex systems through composition. Its interactions are visualized as state diagrams, allowing for easier control flow analysis.
Dezyne supports portability and compatibility. Dezyne code can be deployed in complex, large-scale, safety-critical control systems, as well as in industrial PLCs, web application and even on small chips such as the ESP32 for home applications:
https://forum.verum.com/t/implementing-the-dezyne-model-on-the-esp32-chip/113
Verum Dezyne offers graphical tools to validate and test the structure of the system and its specification and behavior. The Sequence Diagram lets users simulate the system, inspect variables, events and responses. The State Diagram explores every possible system state and its contributing factors. Dezyne's batch mode is compatible with modern CI/CD toolchains, enabling seamless testing and validation.