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