Download at VeriAalThis is an outdated legacy page. Commercial releases are available at VeriAal.dk. Academic releases are available at Uppaal.org. Download UPPAAL v.4.0.15Please use the below form to download an evaluation copy of the commercial version of the UPPAAL tool. During the evaluation period you will be contacted with a commercial offer based on the information provided in the form below. Before downloading, please carefully read the following license agreement for the evaluation copy. By downloading you agree to the license. We (the licensee) understand that UPPAAL includes the programs: uppaal.jar, uppaal, uppaal.bat, server, socketserver, and verifyta and that they are supplied "as is", without expressed or implied warranty. We agree on the following:
The symbol is used to indicate that the field must be filled in. |