Confluence Competition 2019
Abstract
We report on the 2019 edition of the Confluence Competition, a competition of software tools that aim to prove or disprove confluence and related (undecidable) properties of rewrite systems automatically.
Related papers
- Java Pathfinder at SV-COMP 2019 (Competition Contribution) TACAS 2019
- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report) TACAS 2019
- Automatic Verification of C and Java Programs: SV-COMP 2019 TACAS 2019
- TOOLympics 2019: An Overview of Competitions in Formal Methods TACAS 2019
- International Competition on Software Testing (Test-Comp) TACAS 2019
- VeriFuzz: Program Aware Fuzzing - (Competition Contribution) TACAS 2019
- RERS 2019: Combining Synthesis with Real-World Models TACAS 2019
- Towards String Support in JayHorn (Competition Contribution) TACAS 2021