Tools for Model-Checking Timed Systems

Alexandre David; Gerd Behrmann; Peter Bulychev; Joakim Byg; Thomas Chatain; Kim G. Larsen; Paul Pettersson; Jacob Illum Rasmussen; Jiri Srba; Wang Yi; Kenneth Y. Joergensen; Didier Lime; Morgan Magnin; Olivier H. Roux; Louis Marie Traonouez

doi:10.1002/9781118558188.ch6

Tools for Model-Checking Timed Systems

Alexandre David^*, Gerd Behrmann, Peter Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jiri Srba, Wang Yi, Kenneth Y. Joergensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis Marie Traonouez

^*Corresponding author for this work

Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

4 Citations (Scopus)

Original language	English
Title of host publication	Communicating Embedded Systems: Software and Design: Formal Methods
Editors	Claude Jard, Olivier H. Roux
Number of pages	61
Publisher	Wiley
Publication date	13 Feb 2013
Pages	165-225
ISBN (Print)	978-1-8482-1143-8
DOIs	https://doi.org/10.1002/9781118558188.ch6
Publication status	Published - 13 Feb 2013

Access to Document

10.1002/9781118558188.ch6

AUB Link

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

Cite this

David, A., Behrmann, G., Bulychev, P., Byg, J., Chatain, T., Larsen, K. G., Pettersson, P., Rasmussen, J. I., Srba, J., Yi, W., Joergensen, K. Y., Lime, D., Magnin, M., Roux, O. H., & Traonouez, L. M. (2013). Tools for Model-Checking Timed Systems. In C. Jard, & O. H. Roux (Eds.), Communicating Embedded Systems: Software and Design: Formal Methods (pp. 165-225). Wiley. https://doi.org/10.1002/9781118558188.ch6

@inbook{68299ca74fec4b818ecac6e15f5966f3,

title = "Tools for Model-Checking Timed Systems",

keywords = "Model-checking, and tools, ROMEO, and timed extensions, TAPAAL, timed-arc Petri nets, UPPAAL, timed automata/symbolic, UPPAAL-CORA/-TIGA",

author = "Alexandre David and Gerd Behrmann and Peter Bulychev and Joakim Byg and Thomas Chatain and Larsen, {Kim G.} and Paul Pettersson and Rasmussen, {Jacob Illum} and Jiri Srba and Wang Yi and Joergensen, {Kenneth Y.} and Didier Lime and Morgan Magnin and Roux, {Olivier H.} and Traonouez, {Louis Marie}",

year = "2013",

month = feb,

day = "13",

doi = "10.1002/9781118558188.ch6",

language = "English",

isbn = "978-1-8482-1143-8",

pages = "165--225",

editor = "Claude Jard and {H. Roux}, Olivier",

booktitle = "Communicating Embedded Systems: Software and Design: Formal Methods",

publisher = "Wiley",

address = "United Kingdom",

}

David, A, Behrmann, G, Bulychev, P, Byg, J, Chatain, T, Larsen, KG, Pettersson, P, Rasmussen, JI, Srba, J, Yi, W, Joergensen, KY, Lime, D, Magnin, M, Roux, OH & Traonouez, LM 2013, Tools for Model-Checking Timed Systems. in C Jard & O H. Roux (eds), Communicating Embedded Systems: Software and Design: Formal Methods. Wiley, pp. 165-225. https://doi.org/10.1002/9781118558188.ch6

TY - CHAP

T1 - Tools for Model-Checking Timed Systems

AU - David, Alexandre

AU - Behrmann, Gerd

AU - Bulychev, Peter

AU - Byg, Joakim

AU - Chatain, Thomas

AU - Larsen, Kim G.

AU - Pettersson, Paul

AU - Rasmussen, Jacob Illum

AU - Srba, Jiri

AU - Yi, Wang

AU - Joergensen, Kenneth Y.

AU - Lime, Didier

AU - Magnin, Morgan

AU - Roux, Olivier H.

AU - Traonouez, Louis Marie

PY - 2013/2/13

Y1 - 2013/2/13

KW - Model-checking, and tools

KW - ROMEO, and timed extensions

KW - TAPAAL, timed-arc Petri nets

KW - UPPAAL, timed automata/symbolic

KW - UPPAAL-CORA/-TIGA

UR - http://www.scopus.com/inward/record.url?scp=84889459022&partnerID=8YFLogxK

UR - http://onlinelibrary.wiley.com/doi/10.1002/9781118558188.ch6/summary

U2 - 10.1002/9781118558188.ch6

DO - 10.1002/9781118558188.ch6

M3 - Book chapter

AN - SCOPUS:84889459022

SN - 978-1-8482-1143-8

SP - 165

EP - 225

BT - Communicating Embedded Systems: Software and Design: Formal Methods

A2 - Jard, Claude

A2 - H. Roux, Olivier

PB - Wiley

ER -

Tools for Model-Checking Timed Systems

Access to Document

AUB Link

Other files and links

Cite this