JTDec: A Tool for Tree Decompositions in Soot

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