How treewidth helps in verification
ACM SIGLOG News
,
Volume 9,
pp 6-21; https://doi.org/10.1145/3527540.3527542
Abstract: Treewidth, or similar measures, have been a quite useful technique in the verification of infinite state systems. We illustrate, through examples, how such measures help in analyzing a system.
Keywords: treewidth helps / infinite / illustrate / verification Treewidth / helps in verification / similar measures / state systems
Scifeed alert for new publications
Never miss any articles matching your research from any publisher- Get alerts for new papers matching your research
- Find out the new papers from selected authors
- Updated daily for 49'000+ journals and 6000+ publishers
- Define your Scifeed now
Click here to see the statistics on "ACM SIGLOG News" .