Verum: The new paradigm

Company

Setting the new paradigm for embedded software development

Guy Broadfoot and Robert Howe founded Verum in 2004 with the belief that there is 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.

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

ASD

ASD allows the design of a software system to be mathematically verified as complete and correct, even before a single line of code has been written. Defect-free source code is generated automatically, directly from the verified design. In principle, ASD can be used for any kind of software. However, it really excels in mission-critical applications, such as embedded software in medical, machine control and automotive systems.

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

  • Partner programme
    • for its current product development.

    We are currently building a network of partners to support the application of ASD and ASD:Suite.

    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).

    Get in touch

    For more information or a product demonstration contact us.

    +31-40-2359090
    +31-40-2359099
    info@verum.com
    Location