Ambitious People werken bij... Verum was founded 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. www.verum.com