JTDec: A Tool for Tree Decompositions in Soot

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Andreas Pavlogiannis
October 2017
PDF Published version Artifact
Type
Conference paper
Publication
International Symposium on Automated Technology for Verification and Analysis (ATVA)