https://www.mdu.se/

mdu.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, p. 450-451Conference 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. p. 450-451
Series
Proceedings International Computer Software & Applications Conference, ISSN 0730-3157
Keywords [en]
model-checking, real-time systems, embedded systems, formal description techniques
National Category
Computer and Information Sciences
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, id: 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: 2018-01-12Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Pettersson, Paul

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 28 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