Model-Checking

Muhammad Atif; Jan Friso Groote

doi:10.1007/978-3-031-23008-0_6

Model-Checking

Muhammad Atif (Corresponding author)
, Jan Friso Groote

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

Abstract

In this chapter, we are going to learn about model-checking with mCRL2. Model-checking is the activity of checking properties of a given behaviour. In the context of software engineering such properties are also called requirements that express expected behaviours from the behavioural description. We use the terms ‘property’ and ‘requirement’ interchangeably.

Original language	English
Title of host publication	Understanding Behaviour of Distributed Systems Using mCRL2
Publisher	Springer
Chapter	6
Pages	93-115
Number of pages	23
ISBN (Electronic)	978-3-031-23008-0
ISBN (Print)	978-3-031-23007-3
DOIs	https://doi.org/10.1007/978-3-031-23008-0_6
Publication status	Published - 26 Feb 2023

Publication series

Name	Studies in Systems, Decision and Control
Volume	458
ISSN (Print)	2198-4182
ISSN (Electronic)	2198-4190

Bibliographical note

Publisher Copyright:
© 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

Access to Document

10.1007/978-3-031-23008-0_6

Cite this

@inbook{1308f7b4e01e43359f32ff53c1aa346d,

title = "Model-Checking",

abstract = "In this chapter, we are going to learn about model-checking with mCRL2. Model-checking is the activity of checking properties of a given behaviour. In the context of software engineering such properties are also called requirements that express expected behaviours from the behavioural description. We use the terms {\textquoteleft}property{\textquoteright} and {\textquoteleft}requirement{\textquoteright} interchangeably.",

author = "Muhammad Atif and Groote, \{Jan Friso\}",

note = "Publisher Copyright: {\textcopyright} 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.",

year = "2023",

month = feb,

day = "26",

doi = "10.1007/978-3-031-23008-0\_6",

language = "English",

isbn = "978-3-031-23007-3",

series = "Studies in Systems, Decision and Control",

publisher = "Springer",

pages = "93--115",

booktitle = "Understanding Behaviour of Distributed Systems Using mCRL2",

address = "Germany",

}

TY - CHAP

T1 - Model-Checking

AU - Atif, Muhammad

AU - Groote, Jan Friso

PY - 2023/2/26

Y1 - 2023/2/26

N2 - In this chapter, we are going to learn about model-checking with mCRL2. Model-checking is the activity of checking properties of a given behaviour. In the context of software engineering such properties are also called requirements that express expected behaviours from the behavioural description. We use the terms ‘property’ and ‘requirement’ interchangeably.

AB - In this chapter, we are going to learn about model-checking with mCRL2. Model-checking is the activity of checking properties of a given behaviour. In the context of software engineering such properties are also called requirements that express expected behaviours from the behavioural description. We use the terms ‘property’ and ‘requirement’ interchangeably.

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

U2 - 10.1007/978-3-031-23008-0_6

DO - 10.1007/978-3-031-23008-0_6

M3 - Chapter

AN - SCOPUS:85149448728

SN - 978-3-031-23007-3

T3 - Studies in Systems, Decision and Control

SP - 93

EP - 115

BT - Understanding Behaviour of Distributed Systems Using mCRL2

PB - Springer

ER -

Model-Checking

Abstract

Publication series

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this