20 Years of Real Real Time Model Validation

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

1 Citation (Scopus)

Abstract

In this paper we review 20 years of significant industrial application of the Uppaal Tool Suite for model-based validation, performance evaluation and synthesis. The paper will highlight a number of selected cases, and discuss successes and pitfalls in achieving industrial impact as well as tool sustainability in an academic setting.
Original languageEnglish
Title of host publicationFormal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Volume10951
PublisherSpringer
Publication date2018
Pages22--36
ISBN (Print)978-3-319-95581-0
ISBN (Electronic)978-3-319-95582-7
DOIs
Publication statusPublished - 2018
Event22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018 - Oxford, United Kingdom
Duration: 15 Jul 201817 Jul 2018

Conference

Conference22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018
CountryUnited Kingdom
CityOxford
Period15/07/201817/07/2018
SponsorDiffblue, Oxford University Computer Science Department, Springer
SeriesLecture Notes in Computer Science
Volume10951
ISSN0302-9743

Cite this