Searched refs:Correct (Results 1 – 4 of 4) sorted by relevance
1 Name: Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives
2 description: "Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives."
109 depends: [DepType::Correct, DepType::Correct],125 depends: [DepType::Newer, DepType::Correct],132 depends: [DepType::Correct, DepType::Newer],
81 Correct, enumerator156 DepType::Correct => vec![ in my_deps()