20 Years of Real Real Time Model Validation

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citationer (Scopus)

Abstrakt

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.
OriginalsprogEngelsk
TitelFormal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Vol/bind10951
ForlagSpringer
Publikationsdato2018
Sider22--36
ISBN (Trykt)978-3-319-95581-0
ISBN (Elektronisk)978-3-319-95582-7
DOI
StatusUdgivet - 2018
Begivenhed22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018 - Oxford, Storbritannien
Varighed: 15 jul. 201817 jul. 2018

Konference

Konference22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018
LandStorbritannien
ByOxford
Periode15/07/201817/07/2018
SponsorDiffblue, Oxford University Computer Science Department, Springer
NavnLecture Notes in Computer Science
Vol/bind10951
ISSN0302-9743

Citationsformater