software

ProofTraPar software on GitHub

Open Source
Abstract
A tool to prove concurrent programs safe by partitioning the set of traces in a small number of equivalence classes
Download from
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue