DESIGN VERIFICATION
FOR EMBEDDED SYSTEMS
The world-leading and internationally
acclaimed model-checking tool UPPAAL
now available for commercial use!

The latest version is distributed by VeriAal
          HOME    PRODUCT    SOLUTIONS    PARTNERS    SUPPORT    WEB HELP    CONTACT US    ABOUT UP4ALL          
 
 
Feb. 15, 2011 - UP4ALL in OEM agreement with Elivor OU.
See how UPPAAL is used to verify industrial systems.