Scaling up Uppaal: Automatic Verification of Real-Time Systems Using Compositionality and Abstraction

Henrik Ejersbo Jensen; Kim Guldstrand Larsen; Arne Skou

Scaling up Uppaal: Automatic Verification of Real-Time Systems Using Compositionality and Abstraction

Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou

Department of Computer Science

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

Original language	English
Title of host publication	Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium, FTRTFT 2000 Pune, India, September 20 - 22, 2000 : Proceedings : Lecture Notes in Computer Science
Editors	Joseph, M. (ed.)
Publisher	IEEE Computer Society Press
Publication date	2000
Edition	1926
Pages	19-30
ISBN (Print)	3540410554
Publication status	Published - 2000
Event	Scaling up Uppaal - Duration: 19 May 2010 → …

Conference

Conference	Scaling up Uppaal
Period	19/05/2010 → …

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Jensen, H. E., Larsen, K. G., & Skou, A. (2000). Scaling up Uppaal: Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. In Joseph, M. (ed.) (Ed.), Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium, FTRTFT 2000 Pune, India, September 20 - 22, 2000 : Proceedings: Lecture Notes in Computer Science (1926 ed., pp. 19-30). IEEE Computer Society Press.

Jensen, Henrik Ejersbo ; Larsen, Kim Guldstrand ; Skou, Arne. / Scaling up Uppaal : Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium, FTRTFT 2000 Pune, India, September 20 - 22, 2000 : Proceedings: Lecture Notes in Computer Science. editor / Joseph, M. (ed.). 1926. ed. IEEE Computer Society Press, 2000. pp. 19-30

@inproceedings{193676b09c2e11db8ed6000ea68e967b,

title = "Scaling up Uppaal: Automatic Verification of Real-Time Systems Using Compositionality and Abstraction",

author = "Jensen, {Henrik Ejersbo} and Larsen, {Kim Guldstrand} and Arne Skou",

note = "ISSN ; 0302-9743; Scaling up Uppaal ; Conference date: 19-05-2010",

year = "2000",

language = "English",

isbn = "3540410554",

pages = "19--30",

editor = "{Joseph, M. (ed.)}",

booktitle = "Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium, FTRTFT 2000 Pune, India, September 20 - 22, 2000 : Proceedings",

publisher = "IEEE Computer Society Press",

address = "United States",

edition = "1926",

}

Jensen, HE, Larsen, KG & Skou, A 2000, Scaling up Uppaal: Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. in Joseph, M. (ed.) (ed.), Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium, FTRTFT 2000 Pune, India, September 20 - 22, 2000 : Proceedings: Lecture Notes in Computer Science. 1926 edn, IEEE Computer Society Press, pp. 19-30, Scaling up Uppaal, 19/05/2010.

Scaling up Uppaal: Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. / Jensen, Henrik Ejersbo; Larsen, Kim Guldstrand ; Skou, Arne.
Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium, FTRTFT 2000 Pune, India, September 20 - 22, 2000 : Proceedings: Lecture Notes in Computer Science. ed. / Joseph, M. (ed.). 1926. ed. IEEE Computer Society Press, 2000. p. 19-30.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

TY - GEN

T1 - Scaling up Uppaal

T2 - Scaling up Uppaal

AU - Jensen, Henrik Ejersbo

AU - Larsen, Kim Guldstrand

AU - Skou, Arne

N1 - ISSN ; 0302-9743

PY - 2000

Y1 - 2000

M3 - Article in proceeding

SN - 3540410554

SP - 19

EP - 30

BT - Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium, FTRTFT 2000 Pune, India, September 20 - 22, 2000 : Proceedings

A2 - Joseph, M. (ed.), null

PB - IEEE Computer Society Press

Y2 - 19 May 2010

ER -

Jensen HE, Larsen KG , Skou A. Scaling up Uppaal: Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. In Joseph, M. (ed.), editor, Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium, FTRTFT 2000 Pune, India, September 20 - 22, 2000 : Proceedings: Lecture Notes in Computer Science. 1926 ed. IEEE Computer Society Press. 2000. p. 19-30