Verum was founded in 2004 with the belief that there was a better way to develop complex embedded software.
Verum solves software engineering complexity: Dezyne
Software design tools to create, simulate, mathematically verify and automatically generate code for cyber-physical systems.
Dezyne is both an architectural specification language and a software implementation language.
Dezyne is a language and design methodology for specifying the behaviors of interfaces and components and checking the compliance between these.
In Dezyne, you define components and their interfaces through a familiar and compact C/Java like-language. The Dezyne language is targeted at the logic or event-driven behaviour of an application.
- Prevent and eliminate defects
- Decrease development time and effort
- Reduce costs and deliver better quality
- Model Driven Development
- Component Based Design
- Domain Specific Language
- Formal Verification
- Simulation and Validation
- Continuous Testing
- Code Generation