polyDD: Towards a Framework Generalizing Decision Diagrams

@article{Linard2010polyDDTA,
  title={polyDD: Towards a Framework Generalizing Decision Diagrams},
  author={Alban Linard and Emmanuel Paviot-Adet and Fabrice Kordon and Didier Buchs and Samuel Charron},
  journal={2010 10th International Conference on Application of Concurrency to System Design},
  year={2010},
  pages={124-133}
}
Decision Diagrams are now widely used in model checking as extremely compact representations of state spaces. Many Decision Diagram categories have been developed over the past twenty years based on the same principles. Each one targets a specific domain with its own characteristics. Moreover, each one provides its own definition. It prevents sharing concepts and techniques between these structures. This paper aims to propose a basis for a common Framework for Decision Diagrams. It should help… CONTINUE READING

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…