coneqct

swMATH40190MaRDI QIDQ55890FDOQ55890

Author name not available (Why is that?)

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