Space Efficient Reachability Analysis Through Use of Pseudo-Root States

@inproceedings{Parashkevov1997SpaceER,
  title={Space Efficient Reachability Analysis Through Use of Pseudo-Root States},
  author={Atanas N. Parashkevov and Jay Yantchev},
  booktitle={TACAS},
  year={1997}
}
This paper presents a novel reachability analysis technique which, while still maintaining a set of reached states, signiicantly reduces the size of this set through excluding a speciic subset of those states, referred to as pseudo-root states. Pseudo-root states are states which are not reachable from the unexplored state space of the nite model. Such states may be safely discarded from state storage. The modiied reachability analysis algorithm identiies and discards pseudo-root states at each… CONTINUE READING