New Search

Export article

Verification column

Ranko Lazić

Abstract: In this highly readable article, Aiswarya takes a novel approach and reminds us of deep links between verification and the study of classes of graphs based on notions such as treewidth. Starting gently and providing ample examples, we are led to the state of the art and interesting open questions.
Keywords: Aiswarya / column / readable / ample / gently / graphs / takes / reminds / notions / interesting

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" .
Back to Top Top