Survey on Directed Model Checking

Stefan Edelkamp; Viktor Schuppan; Dragan Bosnacki; Anton Wijs; Ansgar  Fehnker; Husain Aljazzar

doi:10.1007/978-3-642-00431-5_5

Survey on Directed Model Checking

Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar

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

Original language	English
Title of host publication	Model Checking and Artificial Intelligence
Subtitle of host publication	5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers
Editors	Doron A. Peled, Michael Wooldridge
Place of Publication	Berlin
Publisher	Springer
Pages	65-89
Number of pages	25
ISBN (Electronic)	978-3-642-00431-5
ISBN (Print)	978-3-642-00430-8
DOIs	https://doi.org/10.1007/978-3-642-00431-5_5
Publication status	Published - 2008
Externally published	Yes
Event	5th International Workshop on Model Checking and Artificial Intelligence, MoChArt 2008 - Patras, Greece Duration: 21 Jul 2008 → 21 Jul 2008

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	5348
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Workshop

Workshop	5th International Workshop on Model Checking and Artificial Intelligence, MoChArt 2008
Abbreviated title	MoChArt
Country/Territory	Greece
City	Patras
Period	21/07/08 → 21/07/08

Keywords

Schedule Problem
Model Check
Liveness Property
Beam Search
Time Automaton

Access to Document

10.1007/978-3-642-00431-5_5

Cite this

Edelkamp, S., Schuppan, V., Bosnacki, D., Wijs, A., Fehnker, A., & Aljazzar, H. (2008). Survey on Directed Model Checking. In D. A. Peled, & M. Wooldridge (Eds.), Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers (pp. 65-89). (Lecture Notes in Computer Science; Vol. 5348). Springer. https://doi.org/10.1007/978-3-642-00431-5_5

Edelkamp, Stefan ; Schuppan, Viktor ; Bosnacki, Dragan et al. / Survey on Directed Model Checking. Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. editor / Doron A. Peled ; Michael Wooldridge. Berlin : Springer, 2008. pp. 65-89 (Lecture Notes in Computer Science).

@inproceedings{d4d27ce3e259413a85d9e92937bb2f5e,

title = "Survey on Directed Model Checking",

keywords = "Schedule Problem, Model Check, Liveness Property, Beam Search, Time Automaton",

author = "Stefan Edelkamp and Viktor Schuppan and Dragan Bosnacki and Anton Wijs and Ansgar Fehnker and Husain Aljazzar",

year = "2008",

doi = "10.1007/978-3-642-00431-5_5",

language = "English",

isbn = "978-3-642-00430-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "65--89",

editor = "Peled, {Doron A.} and Michael Wooldridge",

booktitle = "Model Checking and Artificial Intelligence",

address = "Germany",

note = "5th International Workshop on Model Checking and Artificial Intelligence, MoChArt 2008, MoChArt ; Conference date: 21-07-2008 Through 21-07-2008",

}

Edelkamp, S, Schuppan, V, Bosnacki, D, Wijs, A, Fehnker, A & Aljazzar, H 2008, Survey on Directed Model Checking. in DA Peled & M Wooldridge (eds), Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. Lecture Notes in Computer Science, vol. 5348, Springer, Berlin, pp. 65-89, 5th International Workshop on Model Checking and Artificial Intelligence, MoChArt 2008, Patras, Greece, 21/07/08. https://doi.org/10.1007/978-3-642-00431-5_5

Survey on Directed Model Checking. / Edelkamp, Stefan; Schuppan, Viktor; Bosnacki, Dragan et al.
Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. ed. / Doron A. Peled; Michael Wooldridge. Berlin: Springer, 2008. p. 65-89 (Lecture Notes in Computer Science; Vol. 5348).

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

TY - GEN

T1 - Survey on Directed Model Checking

AU - Edelkamp, Stefan

AU - Schuppan, Viktor

AU - Bosnacki, Dragan

AU - Wijs, Anton

AU - Fehnker, Ansgar

AU - Aljazzar, Husain

PY - 2008

Y1 - 2008

KW - Schedule Problem

KW - Model Check

KW - Liveness Property

KW - Beam Search

KW - Time Automaton

U2 - 10.1007/978-3-642-00431-5_5

DO - 10.1007/978-3-642-00431-5_5

M3 - Conference contribution

SN - 978-3-642-00430-8

T3 - Lecture Notes in Computer Science

SP - 65

EP - 89

BT - Model Checking and Artificial Intelligence

A2 - Peled, Doron A.

A2 - Wooldridge, Michael

PB - Springer

CY - Berlin

T2 - 5th International Workshop on Model Checking and Artificial Intelligence, MoChArt 2008

Y2 - 21 July 2008 through 21 July 2008

ER -

Edelkamp S, Schuppan V, Bosnacki D, Wijs A, Fehnker A, Aljazzar H. Survey on Directed Model Checking. In Peled DA, Wooldridge M, editors, Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. Berlin: Springer. 2008. p. 65-89. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-00431-5_5