Logotype Mälardalenn University

PROGRESS publications



Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool

Authors: Paul Pettersson
Source: IEEE 35th Annual Computer Software and Applications Conference, p 450-451, IEEE Computer Society Press
DOI: http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2011.110
 

Abstract

UPPAAL is a model-checking tool primarily aimed for real-time and embedded systems in which timing plays an important role. It has existed for over 16 years and has become very popular among formal method scientists in academia. In recent years, licenses of the tool have also been offered and sold on commercial basis. In this paper, the characteristics of the tool, its domains of application, as well as some lessons learned from commercializing the tool are described.
 

BibTeX entry

@inproceedings{Pettersson_2624:2011,
   author = {Paul Pettersson},
   title = {Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool},
   booktitle = {IEEE 35th Annual Computer Software and Applications Conference},
   month = {July},
   year = {2011},
   pages = {450-451},
   publisher = {IEEE Computer Society Press},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=2624},
}

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2009.11.03