Search, Explore, Discover

News

+
Dezyne release 2.17 explained

Dezyne release 2.17 explained: constrained interfaces, dead code detection, generalized integer expressions. The vide...

+
Verum is happy to announce Dezyne release 2.17

In this release Verum has made Dezyne more compelling by making the notation for specifying interface behavior more c...

+
Tutorial: Car automatic high beams - executable case study

Scope of this video is to explain Dezyne basics and show how verification actively helps to develop bug-free code. Th...

+
Smart Coding Dezyne, AI And Gofai

Dezyne is much more than a just another tool or programming language. With Dezyne clever features are added that supp...

+
Verum Dezyne Release 2.16

Verum is happy to announce Dezyne release 2.16 which introduces the defer keyword: a new language concept for impleme...

+
Dezyne Open-Source Available on Savannah

A couple of months back Dezyne FOSS (Free and Open-Source Software), the core programming language, has been admitted...

+
Verum Dezyne Release 2.15

To be able to bring out Verum Dezyne Release 2.15, Verum processed a tremendous amount of user feedback, for which we...

+
Fast Prototyping with Digital Twinning an Dezyne

Verum and Prespective researched ways to combine their respective technologies, and improve the way engineers design ...

+
Announcement: Verum releases the Dezyne Programming Language as FOSS (Free and Open Source Software)

Eindhoven, The Netherlands - 7 December 2021 - Verum Software Tools B.V. is announcing the FOSS release of Dezyne und...

+
Taking formal methods mainstream

Verum's CTO Rutger van Beusekom will present at the Software-Centric Systems Conference (SC2) Wednesday 6 October. At...

+
Dezyne 2.13.2 Release

The scope of Dezyne increases significantly with the new simulator function: instead of single components, the new De...

+
Dezyne: Paving the Way to Practical Formal Software Engineering

Have a look at this thorough article.
It gives a lot of insights about Dezyne and was also used as a paper for the...

+
Affiliated to NASA Formal Methods 2021

Monday, 23 May 2021, in the F-IDE 2021 workshop

Affiliated to NASA Formal Methods 2021

Verum will expla...

+
Verum is happy to announce Dezyne 2.12

Verum is happy to announce Dezyne 2.12: This is the first release to include a complete state diagram for interfaces,...

+
Verum has set up a community platform

Verum has set up a community platform – https://forum.verum.com/

+
Tim Beurskens, graduate student Embedded Systems at the Eindhoven University of Technology

Tim Beurskens, graduate student Embedded Systems at the Eindhoven University of Technology.

This video provide...

+
Technology Partners

With Dezyne, engineers create high-quality software for embedded or cyber-physical systems for various industries, su...

+
Solution Partner

Verum Software Tools works closely together with solution partners to provide software development services to execut...

+
Dezyne 2.11

Verum’s Dezyne 2.11 provides an enhanced user experience. Also it is the first stand-alone version of our product – i...

+
Merry Christmas

We wish you a Merry Christmas and a very happy 2021.

...
+
The Case for Mathematical Verification

Embedded software easily supports hundred thousands or even millions of different execution scenarios, which are in f...

+
The Business Case for Dezyne

With Dezyne you discover issues in the software early in the development cycle and consequently a lot of testing is a...

+
Dezyne: Unique Technology

Unique technology of Dezyne explained:

  • Dezyne is a modellin...
+
Dezyne introduction

Dezyne is a software engineering toolset that enables engineers to specify, design, validate and formally verify soft...

+
Verum software development
Verum

A leading developer of software design tools to create, simulate, m...

+
FSTC and Verum Partnership

From October 2020 FSTC will operate as a Verum sales partner for the German speaking countries in Europe.

Veru...

+
Horizon 2020 Grant
+
Software Verification
Game changing verification engine

As the complexity of software systems u...

+
PLCnext Technology - PLC versus embedded controller
+
The origin of Dezyne’s automatic verification technology - Analytical Software Design

Before Dezyne, there was Analytical Software Design: ASD. This article describes the origin of Dezyne’s verification ...