New Search

Export article

How treewidth helps in verification

C Aiswarya

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

Share this article

Click here to see the statistics on "ACM SIGLOG News" .
References (23)
    Back to Top Top