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.
P.O. Box 337, SE-75105 Uppsala, Sweden
+45-21648187
sales@uppaal.com
Copyright © 2012 UP4ALL International AB. All rights reserved.