UPPAAL 4.0

2006283 citationsJournal Article

Authors

Martijn Hendriks · Aalborg University

P. Petterson · Aalborg University

John Håkansson · Uppsala University

Kim G. Larsen · Informa (Sweden)

A. David · Informa (Sweden)

Gerd Behrmann · Radboud University Nijmegen

Yi Wang · Aalborg University

Abstract

UPPAAL 4.0 is the result of over two and a half years of development and contains many new features, additions to the modeling language, performance improvements, enhancements and polish to the easy to use graphical user interface, and is accompanied by several open source libraries. The tool and libraries are available free of charge for academic, educational and evaluation purposes from http://www.uppaal.com/. We describe three of the new features: user defined functions, priorities and symmetry reduction

Topics & Keywords

Formal Methods in Verification Real-Time Systems Scheduling Model-Driven Software Engineering Techniques

UN Sustainable Development Goals

Quality Education

Publication Details

DOI: 10.1109/qest.2006.59

Field-Weighted Citation Impact: 9.46