Dynamic State Space Partitioning for External Memory Model Checking

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

  • Sami Evangelista, Denmark
  • Lars Michael Kristensen, Denmark
  • Department of Computer Science
We describe a dynamic partitioning scheme usable by model checking techniques that divide the state space into partitions, such as most external memory and distributed model checking algorithms. The goal of the scheme is to reduce the number of transitions that link states belonging to different partitions, and thereby limit the amount of disk access and network communication. We report on several experiments made with our verification platform ASAP that implements the dynamic partitioning scheme proposed in this paper.
Original languageEnglish
Book seriesLecture Notes in Computer Science
Pages (from-to)70-85
Number of pages5
Publication statusPublished - 2009
EventInternational Workshop on Formal Methods for Industrial Critical Systems, FMICS - Eindhoven, Netherlands
Duration: 2 Nov 20093 Nov 2009
Conference number: 14


ConferenceInternational Workshop on Formal Methods for Industrial Critical Systems, FMICS

See relations at Aarhus University Citationformats

ID: 17299085