UP4ALL Inc - uppaal.com

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.

counter for iweb