CSI -- a confluence tool. This paper describes a new confluence tool for term rewrite systems. Due to its modular design, the few techniques implemented so far can be combined flexibly. Methods developed for termination analysis are adapted to prove and disprove confluence. Preliminary experimental results show the potential of our tool.
Keywords for this software
References in zbMATH (referenced in 8 articles )
Showing results 1 to 8 of 8.
- Nagele, Julian; Felgenhauer, Bertram; Zankl, Harald: Certifying confluence proofs via relative termination and rule labeling (2017)
- Shintani, Kiraku; Hirokawa, Nao: CoLL: a confluence tool for left-linear term rewrite systems (2015)
- Zankl, Harald; Felgenhauer, Bertram; Middeldorp, Aart: Labelings for decreasing diagrams (2015)
- Sternagel, Thomas; Middeldorp, Aart: Conditional confluence (system description) (2014)
- Aoto, Takahito: Disproving confluence of term rewriting systems by interpretation and ordering (2013)
- Endrullis, Jörg; Klop, Jan Willem: De Bruijn’s weak diamond property revisited (2013)
- Klein, Dominik; Hirokawa, Nao: Confluence of non-left-linear TRSs via relative termination (2012)
- Zankl, Harald; Felgenhauer, Bertram; Middeldorp, Aart: CSI -- a confluence tool (2011)