coneqct

MaRDI QIDQ55890swMATHFDO

Official website http://www.cs.ox.ac.uk/andrzej.murawski/papers/atva15-tool.pdf

Source code repository https://bitbucket-archive.softwareheritage.org/projects/sj/sjr/coneqct.html

Described by source

• A contextual equivalence checker for IMJ*

Cited in

(8)

• Algorithmic games for full ground references
• HECTOR
• eVolCheck
• SymDiff
• LOIS
• NLambda
• JBMC
• DEQ

This page was built for software: coneqct