Confluence Competition 2019
Aart Middeldorp, Julian Nagele and Kiraku Shintani
Proceedings of the 25th International Conference on Tools and Algorithms
for the Construction and Analysis of Systems (TACAS 2019), Lecture Notes in
Computer Science 11429, pp. 25 – 40, 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.BibTeX Entry
@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",
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"
}