ComPACT: Termination Analysis Tool Results for Program Verification

A replication package for the paper 'Termination Analysis without the Tears' by Shaowei Zhu of Princeton University. The data likely contains results from the ComPACT tool, which provides compositional and monotone conditional termination analyses. The paper investigates designing practical termination analyzers with useful behavioral guarantees, bridging algorithms with strong guarantees and widely applicable ones.

Use Cases

• Evaluating compositional termination analysis based on the extended Tarjan's method framework.
• Benchmarking monotone conditional termination analyses against state-of-the-art tools.
• Studying the trade-off between behavioral guarantees and practical applicability in program analysis.

Strengths

• Data is associated with a peer-reviewed academic paper from Princeton University.
• The tool ComPACT is described as competitive with state-of-the-art termination tools while providing stronger behavioral guarantees.

Limitations

• Column-level documentation is absent; field semantics must be inferred after download.
• Row count is unknown, which may limit suitability assessment.
• Last update date is unknown; freshness unverified.

Provenance

Source

Princeton University

Collection Method

Generated by the ComPACT (Compositional and Predictable Analysis for Conditional Termination) tool as part of academic research.