Must Reads

The Coming Software Apocalypse or How to Save the World from Code

"Software is different. Just by editing the text in a file somewhere, the same hunk of silicon can become an autopilot or an inventory-control system. This flexibility is software’s miracle, and its curse", writes James Somers in his recent article "The Coming Software Apocalypse".
October 5, 2017/by Robert Howe

Formalising the Dezyne Modelling Language in mCRL2

In this award winning paper, we describe the Dezyne language and a model transformation to the mCRL2 language, providing users access to advanced model checking capabilities and refinement checks of the mCRL2 tool set.
October 5, 2017/by relny.podung@verum.com

An everyday software failure that hits you in the bank account

For those of us who read tech news, not a day goes by without another story about utopian technologies that are going to change our lives forever. And yet even today, relatively simple operations are not reliable. Here's a case in point..
September 29, 2017/by Robert Howe

Why bother with formal methods when there’s Feng Shui for software development?

There’s a new rage sweeping in from the East: Feng Shui for Software.
September 29, 2017/by Robert Howe

Why software defects remain a challenge and what to do about it

The cost of fixing a defect increases exponentially as the defect propagates. And yet, a conventional approach to software development performs only subjective analysis of specifications and designs. But what if there was a way to verify and validate software specifications and designs?
September 25, 2017/by Robert Howe

Using verification and validation to build cyber resilient applications

There are various ways in which an intruder might seek to compromise your operations. One of the simplest, blunt force methods is to look for an application with network interfaces and attempt to disrupt it. How certain are you that your software systems are resilient enough to cope with such an attack?
September 25, 2017/by Robert Howe

How Safety Critical Software Development best practices can help lower QA costs by proactively addressing complexity

Written by our North American reseller, Emenda, this article "The time you could fix that bug is gone!" describes how Safety Critical Software Development best practices can help lower QA costs
September 5, 2017/by Robert Howe

Reengineering legacy software with Dezyne

Reengineering legacy software is an undesirable but nevertheless occasionally unavoidable necessity. In this paper, we present a technique by which lost or poorly understood behaviour can be recovered and turned into formally verifiable models.
August 12, 2017/by Robert Howe

How an Agile development process can benefit from Component Based and Model Driven technologies

In this paper we use the Agile manifesto as a reference framework to describe how a Component Based Development (CBD) methodology in combination with Model Driven Development (MDD) and Dezyne supports an Agile development process.
August 10, 2017/by Robert Howe

Specification Guidelines to avoid the State Space Explosion Problem

During the last two decades we modelled the behaviour of a large number of systems. We noted that different styles of modelling had quite an effect on the size of the state spaces of the modelled system. In this article we summarise our experience by providing seven specification guidelines.
August 7, 2017/by Robert Howe

Analytical Software Design – the origin of Dezyne’s verification technology

This paper from 2007 describes "Analytical Software Design" (ASD), the origin of Dezyne's verification technology. Although the techniques employed by Dezyne differ somewhat from ASD the verification principles upon which Dezyne is based are similar.
August 5, 2017/by Robert Howe

Analyzing the effects of formal methods on the development of industrial control software

In this paper we analyse the effects of applying Verum tools to the development of various control software units developed for X-ray machines. We compare the quality of these units with other units developed in traditional development methods.
August 4, 2017/by Robert Howe

A realistic example of what it means to simplify the internet of things (IoT) development and testing

July 11, 2017/by Robert Howe

Improving productivity and quality with Verum tools

In this paper from 2009, Sioux Embedded Systems group carefully evaluated their 1st project using Verum tools. Although this paper relates to ASD, the results are also inline with those achieved by more recent customers using Dezyne.
October 5, 2016/by relny.podung@verum.com
Load more