CSI
swMATH ID: | 9767 |
Software Authors: | Zankl, Harald; Felgenhauer, Bertram; Middeldorp, Aart |
Description: | 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. |
Homepage: | http://link.springer.com/chapter/10.1007%2F978-3-642-22438-6_38 |
Keywords: | term rewriting; confluence; automation |
Related Software: | Saigawa; CeTA; Tyrolean; CoLL; Archive Formal Proofs; Isabelle/HOL; CiME; Isabelle; Conditional Confluence; CoLoR; Nagoya Termination Tool; Cops; CoCoWeb; CafeOBJ; Maude; OBJ3; CRC 3; AProVE; StarExec; ACL2 |
Cited in: | 24 Documents |
Standard Articles
1 Publication describing the Software, including 1 Publication in zbMATH | Year |
---|---|
CSI: new evidence – a progress report. Zbl 1494.68291 Nagele, Julian; Felgenhauer, Bertram; Middeldorp, Aart |
2017
|
all
top 5
Cited by 26 Authors
all
top 5
Cited in 7 Serials
Cited in 2 Fields
24 | Computer science (68-XX) |
2 | Mathematical logic and foundations (03-XX) |