GitHub repository: taniaadb/sympath-coq
Primary language: Coq
Created: 2020-03-21T12:27:02Z
Description: SymPaths : Symbolic Execution Meets Partial Order Reduction - Proof of correctness