Verum: News and events

Press coverage

Verum in the media

A selection of articles featuring Verum that have been published in the technical and business media.



15 August 2009

Using ASD:Suite

Logica describes the application of MDD and formal methods, and its plans to use ASD:Suite.

read more   [  NL ]


13 July 2009

Nucletron evaluates ASD

An article describing how Nucletron evaluated ASD by using it to re-develop an existing software component for a CT scanner.

read more   [  NL ]


9 April 2008

Verum formally verified generates C # code for wafer inspection

A short article outlining how Verum helped Munich-based Nanda Technologies use ASD to generate 25 thousand lines of error free C# code.

read more   [  NL ]

Get in touch

For more information or a product demonstration contact us.

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