 Verum ConsultantsCompany Description:Verum Consultants increase the predictability of the outcome of the software development process. By dynamically modelling and formally verifying designs for completeness and correctness, Verum´s consultants are able to produce rigorous implementation specifications for a wide variety of behaviourally complex software problems.Verum adds this element to a client´s own engineering process by working closely with the client´s software architects and designers. Together with the clients team, Verum´s consultants ensure that designs are stated in a way that lends them to formal modelling and verification. Following verification, the client usually implements the designs. Verum´s consultants return to verify that the implementation is a correct reflection of the design and to assist the client with statistical testing of the end software product. Worldwide Headquarters:
|