HOME    PRODUCT    SOLUTIONS    PARTNERS    SUPPORT    WEB HELP    CONTACT US    ABOUT UP4ALL          
Our mission is to disseminate model-checking techniques to industry. These techniques have been used successfully in academia and we want to make the user-friendly formalism of timed automata available to engineers. The tool can help to check correctness of design, which is critical in many domains, e.g., in the car industry. Use of formal techniques is also required more and more often to obtain different certifications.