VERIS - Verification of Interacting Systems

Modern software and hardware systems are complex. They are difficult to construct and therefore they often contain errors. Errors in running systems can impose severe economical losses and can in safety critical systems even result in damage of humans.
The VERIS-project aims at developing methods useful in improving the quality of the design of embedded systems. Embedded systems are control systems which are integral parts of a larger system, for example, airbags, ABS braking systems, and railway interlocking systems. The methods will make possible exhaustive testing of all states of the control systems, ensuring that no unwanted states are ever reached.