Model Checking Software - 29th International Symposium: SPIN 2023

Georgiana Caltais (Editor), Christian Schilling (Editor)

Research output: Book/ReportAnthologyResearchpeer-review

Original languageEnglish
PublisherSpringer
Number of pages202
ISBN (Print)978-3-031-32156-6
ISBN (Electronic)978-3-031-32157-3
DOIs
Publication statusPublished - 2023
Event29th International Symposium on Model Checking Software - Sorbonne Université, Paris, France
Duration: 26 Apr 202327 Apr 2023
Conference number: 29
https://spin-web.github.io/SPIN2023/
SeriesLecture Notes in Computer Science
Volume13872
ISSN0302-9743

Conference

Conference29th International Symposium on Model Checking Software
Number29
LocationSorbonne Université
Country/TerritoryFrance
CityParis
Period26/04/202327/04/2023
Internet address
  • Elimination of Detached Regions in Dependency Graph Verification

    Jensen, P. G., Larsen, K. G., Srba, J. & Ulrik, N. J., 2023, Model Checking Software: 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (eds.). Springer, Vol. LNCS 13872. p. 163-179 17 p. (Lecture Notes in Computer Science).

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

    1 Citation (Scopus)
  • Potency-Based Heuristic Search with Randomness for Explicit Model Checking

    Henriksen, E. G., Mozafar Khorsid, A., Nielsen, E., Risager, T., Srba, J., Stück, A. M. & Sørensen, A. S., 2023, Model Checking Software: 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (eds.). Springer Nature Switzerland AG, p. 180-187 8 p. (Lecture Notes in Computer Science; No. 13872).

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

    1 Citation (Scopus)

Cite this