Verum provides software architects and designers with a general purpose, easy to use software design tool to build mathematically verified software for complex technical and embedded systems. In the same way that Civil engineers use Finite Element Analysis tools to mathematically verify designs of physical structures, so software engineers can use Verum’s ASD Finite State Analysis tools to mathematically verify the structure and behaviour of designs for complex software systems

Verum
Laan van Diepenvoorde 32
5582 LA Waalre
The Netherlands
Tel. +31 402 359090
Fax +31 402 359099
www.verum.com

Mr. Maarten van Alphen
Marketing Manager
maartendotvandotalphenatverumdotcom

Mr. Robert Howe
CEO
robertdothoweatverumdotcom