/sfs-equivalence-dafny

Specification and verification of an algorithm to check equivalence for Stack Functional Specifications (SFS)

Primary LanguageC#

Stargazers