Why is the ASD:Suite implemented as a client-server (hosted) solution?
Two reasons: firstly by implementing the ASD:Suite in this way Verum can offer the customer a completely scalable business model proportional to the use that they make of ASD. Ultimately this reduces the cost of adopting and using ASD. Secondly the ASD:ModelChecker is a computing intensive application. By running this application in hosted environment, Verum can ensure maximum performance and therefore maximum efficiency for the customer.