Model checking basics

Doron Peled

doi:10.3233/978-1-61499-207-3-335

Model checking basics

Doron Peled

Department of Computer Science

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

Abstract

Model checking is a collection of methods for the automatic verification of (often, finite state) systems based on automata and logic principles. We present the basic principles of modeling a system, specifying its properties and applying verification algorithms. We present several methods for combating the challenge of coping with the state space explosion problem.

Original language	English
Title of host publication	Engineering Dependable Software Systems
Publisher	IOS Press
Pages	335-362
Number of pages	28
Volume	34
ISBN (Electronic)	9781614992073
ISBN (Print)	9781614992066
DOIs	https://doi.org/10.3233/978-1-61499-207-3-335
State	Published - 19 Jun 2013

Bibliographical note

Publisher Copyright:
© 2013 The authors and IOS Press. All rights reserved.

Access to Document

10.3233/978-1-61499-207-3-335

Cite this

@inbook{280b9dcc07924395818eae8654bc2042,

title = "Model checking basics",

abstract = "Model checking is a collection of methods for the automatic verification of (often, finite state) systems based on automata and logic principles. We present the basic principles of modeling a system, specifying its properties and applying verification algorithms. We present several methods for combating the challenge of coping with the state space explosion problem.",

author = "Doron Peled",

year = "2013",

month = jun,

day = "19",

doi = "10.3233/978-1-61499-207-3-335",

language = "אנגלית",

isbn = "9781614992066",

volume = "34",

pages = "335--362",

booktitle = "Engineering Dependable Software Systems",

publisher = "IOS Press",

address = "הולנד",

}

TY - CHAP

T1 - Model checking basics

AU - Peled, Doron

PY - 2013/6/19

Y1 - 2013/6/19

N2 - Model checking is a collection of methods for the automatic verification of (often, finite state) systems based on automata and logic principles. We present the basic principles of modeling a system, specifying its properties and applying verification algorithms. We present several methods for combating the challenge of coping with the state space explosion problem.

AB - Model checking is a collection of methods for the automatic verification of (often, finite state) systems based on automata and logic principles. We present the basic principles of modeling a system, specifying its properties and applying verification algorithms. We present several methods for combating the challenge of coping with the state space explosion problem.

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

U2 - 10.3233/978-1-61499-207-3-335

DO - 10.3233/978-1-61499-207-3-335

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.chapter???

AN - SCOPUS:85021002998

SN - 9781614992066

VL - 34

SP - 335

EP - 362

BT - Engineering Dependable Software Systems

PB - IOS Press

ER -

Model checking basics

Abstract

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this