Survey on Directed Model Checking

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

23 Citations (Scopus)
Original languageEnglish
Title of host publicationModel Checking and Artificial Intelligence
Subtitle of host publication5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers
EditorsDoron A. Peled, Michael Wooldridge
Place of PublicationBerlin
PublisherSpringer
Pages65-89
Number of pages25
ISBN (Electronic)978-3-642-00431-5
ISBN (Print)978-3-642-00430-8
DOIs
Publication statusPublished - 2008
Externally publishedYes
Event5th International Workshop on Model Checking and Artificial Intelligence, MoChArt 2008 - Patras, Greece
Duration: 21 Jul 200821 Jul 2008

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume5348
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Workshop

Workshop5th International Workshop on Model Checking and Artificial Intelligence, MoChArt 2008
Abbreviated titleMoChArt
CountryGreece
CityPatras
Period21/07/0821/07/08

Keywords

  • Schedule Problem
  • Model Check
  • Liveness Property
  • Beam Search
  • Time Automaton

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). Berlin: Springer. https://doi.org/10.1007/978-3-642-00431-5_5
Edelkamp, Stefan ; Schuppan, Viktor ; Bosnacki, Dragan ; Wijs, Anton ; Fehnker, Ansgar ; Aljazzar, Husain. / 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",

}

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; Wijs, Anton; Fehnker, Ansgar ; Aljazzar, Husain.

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 proceedingConference contributionAcademicpeer-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

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). https://doi.org/10.1007/978-3-642-00431-5_5