mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Formal Methods Applied in Industry On the Commercialisation of the UPPAAL tool
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0003-4040-3480
2011 (English)In: 2011 35TH IEEE ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2011, 450-451 p.Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
2011. 450-451 p.
Series
Proceedings International Computer Software & Applications Conference, ISSN 0730-3157
Keyword [en]
model-checking, real-time systems, embedded systems, formal description techniques
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:mdh:diva-15595DOI: 10.1109/COMPSAC.2011.110ISI: 000297149600065Scopus ID: 2-s2.0-80054973854ISBN: 978-0-7695-4439-7 (print)OAI: oai:DiVA.org:mdh-15595DiVA: diva2:562273
Conference
35th Annual IEEE International Computer Software and Applications Conference (COMPSAC), JUL 18-21, 2011, Munich, GERMANY
Available from: 2012-10-23 Created: 2012-10-10 Last updated: 2013-12-03Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Pettersson, Paul
By organisation
School of Innovation, Design and Engineering
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 12 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf