Subject Programs and Tool for Verifying Determinism in Sequential Programs

Subject programs and tool source code described in the ICSE 2021 paper "Verifying Determinism in Sequential Programs". The dataset was authored by Rashmi Mudduluru from the University of Washington. It is associated with a peer-reviewed conference paper on software verification.

Use Cases

• Testing program verification tools based on the provided subject programs.
• Reproducing the experimental results from the ICSE 2021 paper on verifying determinism.
• Developing new techniques for analyzing sequential program behavior using the described tool source code.
• Teaching concepts of program determinism and formal verification using concrete examples.

Strengths

• Associated with a peer-reviewed paper from the ICSE 2021 conference.
• Includes both subject programs and tool source code, providing a complete artifact for verification research.

Limitations

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

Provenance

Source

University of Washington, associated with the ICSE 2021 conference paper.

Collection Method

Created as part of the research for the paper "Verifying Determinism in Sequential Programs".