A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf
.
A Sweep-Line Method for State Space Exploration
[chapter]
2001
Lecture Notes in Computer Science
We present a state space exploration method for on-the-fly verification. The method is aimed at systems for which it is possible to define a measure of progress based on the states of the system. The measure of progress makes it possible to delete certain states on-the-fly during state space generation, since these states can never be reached again. This in turn reduces the memory used for state space storage during the task of verification. Examples of progress measures are sequence numbers in
doi:10.1007/3-540-45319-9_31
fatcat:dlwvzagdengflking4iq2wkshy