Model Checking Real-Time Systems

Patricia Bouyer; Uli Fahrenberg; Kim Guldstrand Larsen; Nicolas Markey; Joël Ouaknine; James Worrell

doi:10.1007/978-3-319-10575-8_29

Model Checking Real-Time Systems

Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Joël Ouaknine, James Worrell

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

25 Citationer (Scopus)

Abstract

This chapter surveys timed automata as a formalism for model checking real-time systems. We begin with introducing the model, as an extension of finite-state automata with real-valued variables for measuring time. We then present the main model-checking results in this framework, and give a hint about some recent extensions (namely weighted timed automata and timed games).

Originalsprog	Engelsk
Titel	Handbook of Model Checking
Antal sider	46
Forlag	Springer Publishing Company
Publikationsdato	2018
Sider	1001-1046
ISBN (Trykt)	9783319105741
ISBN (Elektronisk)	978-3-319-10575-8
DOI	https://doi.org/10.1007/978-3-319-10575-8_29
Status	Udgivet - 2018

Adgang til dokumentet

10.1007/978-3-319-10575-8_29

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

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

Citationsformater

@inbook{50651120bb33427f8b700f6beced630b,

title = "Model Checking Real-Time Systems",

abstract = "This chapter surveys timed automata as a formalism for model checking real-time systems. We begin with introducing the model, as an extension of finite-state automata with real-valued variables for measuring time. We then present the main model-checking results in this framework, and give a hint about some recent extensions (namely weighted timed automata and timed games).",

author = "Patricia Bouyer and Uli Fahrenberg and Larsen, {Kim Guldstrand} and Nicolas Markey and Jo{\"e}l Ouaknine and James Worrell",

year = "2018",

doi = "10.1007/978-3-319-10575-8_29",

language = "English",

isbn = "9783319105741",

pages = "1001--1046",

booktitle = "Handbook of Model Checking",

publisher = "Springer Publishing Company",

address = "United States",

}

TY - CHAP

T1 - Model Checking Real-Time Systems

AU - Bouyer, Patricia

AU - Fahrenberg, Uli

AU - Larsen, Kim Guldstrand

AU - Markey, Nicolas

AU - Ouaknine, Joël

AU - Worrell, James

PY - 2018

Y1 - 2018

N2 - This chapter surveys timed automata as a formalism for model checking real-time systems. We begin with introducing the model, as an extension of finite-state automata with real-valued variables for measuring time. We then present the main model-checking results in this framework, and give a hint about some recent extensions (namely weighted timed automata and timed games).

AB - This chapter surveys timed automata as a formalism for model checking real-time systems. We begin with introducing the model, as an extension of finite-state automata with real-valued variables for measuring time. We then present the main model-checking results in this framework, and give a hint about some recent extensions (namely weighted timed automata and timed games).

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

U2 - 10.1007/978-3-319-10575-8_29

DO - 10.1007/978-3-319-10575-8_29

M3 - Book chapter

SN - 9783319105741

SP - 1001

EP - 1046

BT - Handbook of Model Checking

PB - Springer Publishing Company

ER -

Model Checking Real-Time Systems

Abstract

Adgang til dokumentet

AUB Link

Andre filer og links

Fingeraftryk

Citationsformater