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

@inproceedings{MNS-TACAS19,
  author    = "Aart Middeldorp and Julian Nagele and Kiraku Shintani",
  title     = "Confluence Competition 2019",
  booktitle = "Proceedings of the 25th International Conference on Tools
               and Algorithms for the Construction and Analysis of Systems
               (Part III)",
  editor    = "Dirk Beyer and Marieke Huisman and Fabrice Kordon and
               Bernhard Steffen",
  series    = "Lecture Notes in Computer Science",
  volume    = 11429,
  pages     = "25--40",
  year      = 2019,
  doi       = "10.1007/978-3-030-17502-3_2"
}