ASD:Suite© for rapid software design and defect-Free code 

About Verum Software Technologies

Guy Broadfoot and 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 a unique technology, Analytical Software Design (ASD). By dynamically modelling and formally verifying designs for completeness and correctness, ASD increases the predictability of the outcome of the software development process.

The ASD:Suite is Verum’s portfolio of development tools that embeds the powerful ASD technology into a general-purpose, easy-to-use software design environment.

Verum’s approach enables the most complex concurrency and control errors to be discovered and eliminated early in the software development lifecycle. As a result, creators of embedded software are able to bring reliable products to market quickly, predictably and cost-effectively.

Verum has established reference customers for its technology which include leading companies such as Philips Applied Technologies and Philips Healthcare. Through these projects we have demonstrated that ASD delivers productivity increases from the conventional norm of 4-8 lines of delivered code per man-hour, to 13-80 defect-free lines of delivered code per man-hour. Results such as these have helped Verum to gain significant external funding for its current product development.

Based close to Eindhoven in The Netherlands, Verum maintains close ties with researchers at Oxford University in the UK, the University of Tennessee in the USA and the Technical University of Eindhoven (TU/e).