Improving symbolic reachability analysis by means of activityprofiles

Gianpiero Cabodi, Paolo Camurati, Stefano Quer. Improving symbolic reachability analysis by means of activityprofiles. IEEE Trans. on CAD of Integrated Circuits and Systems, 19(9):1065-1075, 2000. [doi]

@article{CabodiCQ00,
  title = {Improving symbolic reachability analysis by means of activityprofiles},
  author = {Gianpiero Cabodi and Paolo Camurati and Stefano Quer},
  year = {2000},
  doi = {10.1109/43.863646},
  url = {http://doi.ieeecomputersociety.org/10.1109/43.863646},
  tags = {analysis},
  researchr = {https://researchr.org/publication/CabodiCQ00},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
  volume = {19},
  number = {9},
  pages = {1065-1075},
}