Optimization techniques for BDD-based bisimulation computation

@inproceedings{Wimmer2007OptimizationTF,
  title={Optimization techniques for BDD-based bisimulation computation},
  author={Ralf Wimmer and Marc Herbstritt and Bernd Becker},
  booktitle={ACM Great Lakes Symposium on VLSI},
  year={2007}
}
In this paper we report on optimizations for a BDD-based algorithm for the computation of bisimulations. The underlying algorithmic principle is an iterative refinement of a partition of the state space. The proposed optimizations demonstrate that both, taking into account the algorithmic structure of theproblem and the exploitation of the BDD-based representation, are essential to finally obtain an efficient symbolic algorithm for real-world problems. The contributions of this paper are (1… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-4 OF 4 CITATIONS

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…