20 Years of Real Real Time Model Validation

Kim Guldstrand Larsen; Florian Lorber; Brian Nielsen

doi:10.1007/978-3-319-95582-7_2

20 Years of Real Real Time Model Validation

Kim Guldstrand Larsen, Florian Lorber, Brian Nielsen

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

1 Citationer (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.

Originalsprog	Engelsk
Titel	Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Vol/bind	10951
Forlag	Springer
Publikationsdato	2018
Sider	22--36
ISBN (Trykt)	978-3-319-95581-0
ISBN (Elektronisk)	978-3-319-95582-7
DOI	https://doi.org/10.1007/978-3-319-95582-7_2
Status	Udgivet - 2018
Begivenhed	22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018 - Oxford, Storbritannien Varighed: 15 jul. 2018 → 17 jul. 2018

Konference

Konference	22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018
Land/Område	Storbritannien
By	Oxford
Periode	15/07/2018 → 17/07/2018
Sponsor	Diffblue, University of Oxford, Springer

Navn	Lecture Notes in Computer Science
Vol/bind	10951
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-319-95582-7_2

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@inproceedings{3180d21f142b4bf290983c79908dda3d,

title = "20 Years of Real Real Time Model Validation",

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.",

author = "Larsen, {Kim Guldstrand} and Florian Lorber and Brian Nielsen",

year = "2018",

doi = "10.1007/978-3-319-95582-7_2",

language = "English",

isbn = "978-3-319-95581-0",

volume = "10951",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "22----36",

booktitle = "Formal Methods",

address = "Germany",

note = "22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018 ; Conference date: 15-07-2018 Through 17-07-2018",

}

Larsen, KG, Lorber, F & Nielsen, B 2018, 20 Years of Real Real Time Model Validation. i Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. bind 10951, Springer, Lecture Notes in Computer Science, bind 10951, s. 22--36, 22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, Storbritannien, 15/07/2018. https://doi.org/10.1007/978-3-319-95582-7_2

20 Years of Real Real Time Model Validation. / Larsen, Kim Guldstrand; Lorber, Florian; Nielsen, Brian.
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Bind 10951 Springer, 2018. s. 22--36 (Lecture Notes in Computer Science, Bind 10951).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - 20 Years of Real Real Time Model Validation

AU - Larsen, Kim Guldstrand

AU - Lorber, Florian

AU - Nielsen, Brian

PY - 2018

Y1 - 2018

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-95582-7_2

DO - 10.1007/978-3-319-95582-7_2

M3 - Article in proceeding

SN - 978-3-319-95581-0

VL - 10951

T3 - Lecture Notes in Computer Science

SP - 22

EP - 36

BT - Formal Methods

PB - Springer

T2 - 22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018

Y2 - 15 July 2018 through 17 July 2018

ER -