Fast directed model checking via russian doll abstraction

S. Kupferschmid, J. Hoffmann, Kim Guldstrand Larsen

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

11 Citations (Scopus)
Original languageEnglish
Title of host publicationTools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
PublisherSpringer
Publication date2008
Pages203-217
ISBN (Print)978-3-540-78799-0
DOIs
Publication statusPublished - 2008
EventInternational Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008 - Budapest, Hungary
Duration: 29 Mar 20082 Apr 2008
Conference number: 14th

Conference

ConferenceInternational Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008
Number14th
CountryHungary
CityBudapest
Period29/03/200802/04/2008
SeriesLecture Notes in Computer Science
Number4963
ISSN0302-9743

Cite this

Kupferschmid, S., Hoffmann, J., & Larsen, K. G. (2008). Fast directed model checking via russian doll abstraction. In Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings (pp. 203-217). Springer. Lecture Notes in Computer Science, No. 4963 https://doi.org/10.1007/978-3-540-78800-3_15