Verum

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 corre... ctness, 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, ASML and Ericsson (to name a few). Through these projects we have demonstrated that ASD delivers a net 30%-50% improvement in productivity and a corresponding decrease in time to market. Results such as these have helped Verum's customers to continue to innovate while driving quality improvements. 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).Read More