Verification of Timed and Hybrid Systems

Kim Guldstrand Larsen

doi:10.1007/3-540-44988-4

Verification of Timed and Hybrid Systems

Kim Guldstrand Larsen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Abstract

Uppaal [UPP, BLL+98] is an integrated tool environment for modelling, simulating and verification of real-time and hybrid systems, developed jointly by BRICS at Aalborg University in Denmark and by DoCS at Uppsala University in Sweden. In this talk we will review the status of the currently distributed version of UPPAAL and describe in more detail the ongoing developments which are to be incorporated in future releases of the tool.

Original language	English
Title of host publication	Application and Theory of Petri Nets 2000
Subtitle of host publication	21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceedings
Editors	Mogens Nielsen, Dan Simpson
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	39-42
ISBN (Electronic)	978-3-540-44988-1
ISBN (Print)	978-3-540-67693-5
DOIs	https://doi.org/10.1007/3-540-44988-4
Publication status	Published - 22 Mar 2000
Externally published	Yes
Event	21st International Conference on Application and Theory of Petri Nets, ICATPN 2000 - Aarhus, Denmark Duration: 26 Jun 2000 → 30 Jun 2000 Conference number: 21

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	1825
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	21st International Conference on Application and Theory of Petri Nets, ICATPN 2000
Abbreviated title	ICATPN
Country/Territory	Denmark
City	Aarhus
Period	26/06/00 → 30/06/00

Keywords

n/a OA procedure

Access to Document

10.1007/3-540-44988-4

Cite this

@inproceedings{057d355e44d04f659777f0dc1d5e0450,

title = "Verification of Timed and Hybrid Systems",

abstract = "Uppaal [UPP, BLL+98] is an integrated tool environment for modelling, simulating and verification of real-time and hybrid systems, developed jointly by BRICS at Aalborg University in Denmark and by DoCS at Uppsala University in Sweden. In this talk we will review the status of the currently distributed version of UPPAAL and describe in more detail the ongoing developments which are to be incorporated in future releases of the tool.",

keywords = "n/a OA procedure",

author = "Larsen, \{Kim Guldstrand\}",

year = "2000",

month = mar,

day = "22",

doi = "10.1007/3-540-44988-4",

language = "English",

isbn = "978-3-540-67693-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "39--42",

editor = "Mogens Nielsen and Dan Simpson",

booktitle = "Application and Theory of Petri Nets 2000",

address = "Germany",

note = "21st International Conference on Application and Theory of Petri Nets, ICATPN 2000, ICATPN ; Conference date: 26-06-2000 Through 30-06-2000",

}

Larsen, KG 2000, Verification of Timed and Hybrid Systems. in M Nielsen & D Simpson (eds), Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceedings. Lecture Notes in Computer Science, vol. 1825, Springer, Berlin, Heidelberg, pp. 39-42, 21st International Conference on Application and Theory of Petri Nets, ICATPN 2000, Aarhus, Denmark, 26/06/00. https://doi.org/10.1007/3-540-44988-4

Verification of Timed and Hybrid Systems. / Larsen, Kim Guldstrand.
Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceedings. ed. / Mogens Nielsen; Dan Simpson. Berlin, Heidelberg: Springer, 2000. p. 39-42 (Lecture Notes in Computer Science; Vol. 1825).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Verification of Timed and Hybrid Systems

AU - Larsen, Kim Guldstrand

N1 - Conference code: 21

PY - 2000/3/22

Y1 - 2000/3/22

N2 - Uppaal [UPP, BLL+98] is an integrated tool environment for modelling, simulating and verification of real-time and hybrid systems, developed jointly by BRICS at Aalborg University in Denmark and by DoCS at Uppsala University in Sweden. In this talk we will review the status of the currently distributed version of UPPAAL and describe in more detail the ongoing developments which are to be incorporated in future releases of the tool.

AB - Uppaal [UPP, BLL+98] is an integrated tool environment for modelling, simulating and verification of real-time and hybrid systems, developed jointly by BRICS at Aalborg University in Denmark and by DoCS at Uppsala University in Sweden. In this talk we will review the status of the currently distributed version of UPPAAL and describe in more detail the ongoing developments which are to be incorporated in future releases of the tool.

KW - n/a OA procedure

U2 - 10.1007/3-540-44988-4

DO - 10.1007/3-540-44988-4

M3 - Conference contribution

SN - 978-3-540-67693-5

T3 - Lecture Notes in Computer Science

SP - 39

EP - 42

BT - Application and Theory of Petri Nets 2000

A2 - Nielsen, Mogens

A2 - Simpson, Dan

PB - Springer

CY - Berlin, Heidelberg

T2 - 21st International Conference on Application and Theory of Petri Nets, ICATPN 2000

Y2 - 26 June 2000 through 30 June 2000

ER -

Verification of Timed and Hybrid Systems

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this