software

abs-haskell-formal software on GitHub

Open Source
Abstract
Translating a subset of ABS to pure Haskell for proving correctness and resource consumption
Download from
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue