Model checking is an efficient formal method for the verification of hardware and software designs. Based on model checking, VTT offers a service for verifying that automation system software design fulfils stated requirements. The difference to more common verification methods (like testing or simulation) is that all the possible executions of the system model are taken into account. Exhaustive analysis means that hidden design errors can be found in systems that have already undergone verification through conventional means.
Modelling and simulation is a present-day way to understand and improve processes to meet the increasing efficiency, safety and environmental demands. Simulation has become an important enabling technology in decision-making, engineering and operation, covering the whole life span of a production system.