The project aims at developing verification tools for checking the correctness of large industrial designs such as embedded controlers, remote controls, simulators, and electronic equipment.

Mission

Interactive demonstration

Contacts

Technical information

The background picture of this page is a graph showing a very large statemachine that has been verified. It shows the dependencies between a network of more than 1400 statemachines, each of which has between 2 and states. More details are given in the technical information.

The project is supported by the Danish National Centre for IT Research, CIT as their project # 99.