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.

BibTeX Entry

@article{MNS-STTT21,
 author    = "Aart Middeldorp and Julian Nagele and Kiraku Shintani",
 title     = "CoCo 2019: Report on the Eighth Confluence Competition",
 journal   = "International Journal on Software Tools for Technology
              Transfer",
 volume    = 23,
 number    = 6,
 pages     = "905--916",
 year      = 2021,
 doi       = "10.1007/s10009-021-00620-4"
}