Tools for Model-Checking Timed Systems

Alexandre David; Gerd Behrmann; Peter Bulychev; Joakim Byg; Thomas Chatain; Kim G. Larsen; Paul Pettersson; Jacob Illum Rasmussen; Jiří 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
, Jiří Srba
, Wang Yi
, Kenneth Y. Joergensen
, Didier Lime
, Morgan Magnin
, Olivier H. Roux
, Louis Marie Traonouez

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

Original language	English
Title of host publication	Communicating Embedded Systems
Subtitle of host publication	Software and Design: Formal Methods
Publisher	wiley
Pages	165-225
Number of pages	61
ISBN (Electronic)	9781118558188
ISBN (Print)	9781848211438
DOIs	https://doi.org/10.1002/9781118558188.ch6
State	Published - 1 Jan 2010
Externally published	Yes

Keywords

And timed extensions
And tools
Model-checking
ROMEO
TAPAAL
Timed automata/symbolic
Timed-arc Petri nets
UPPAAL
UPPAAL-CORA/-TIGA

Access to Document

10.1002/9781118558188.ch6

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. (2010). Tools for Model-Checking Timed Systems. In Communicating Embedded Systems: Software and Design: Formal Methods (pp. 165-225). wiley. https://doi.org/10.1002/9781118558188.ch6

@inbook{196f29d448f1452eb94e58322ff6541c,

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

keywords = "And timed extensions, And tools, Model-checking, ROMEO, TAPAAL, Timed automata/symbolic, Timed-arc Petri nets, UPPAAL, 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 Ji{\v r}{\'i} Srba and Wang Yi and Joergensen, \{Kenneth Y.\} and Didier Lime and Morgan Magnin and Roux, \{Olivier H.\} and Traonouez, \{Louis Marie\}",

year = "2010",

month = jan,

day = "1",

doi = "10.1002/9781118558188.ch6",

language = "英语",

isbn = "9781848211438",

pages = "165--225",

booktitle = "Communicating Embedded Systems",

publisher = "wiley",

}

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, Jiří

AU - Yi, Wang

AU - Joergensen, Kenneth Y.

AU - Lime, Didier

AU - Magnin, Morgan

AU - Roux, Olivier H.

AU - Traonouez, Louis Marie

PY - 2010/1/1

Y1 - 2010/1/1

KW - And timed extensions

KW - And tools

KW - Model-checking

KW - ROMEO

KW - TAPAAL

KW - Timed automata/symbolic

KW - Timed-arc Petri nets

KW - UPPAAL

KW - UPPAAL-CORA/-TIGA

UR - https://www.scopus.com/pages/publications/105010791733

U2 - 10.1002/9781118558188.ch6

DO - 10.1002/9781118558188.ch6

M3 - 章节

AN - SCOPUS:84889459022

SN - 9781848211438

SP - 165

EP - 225

BT - Communicating Embedded Systems

PB - wiley

ER -

Tools for Model-Checking Timed Systems

Keywords

Access to Document

Other files and links

Cite this