Clover: Closed-Loop Verifiable Code Generation
Chuyue Sun, Ying Sheng, Oded Padon, Clark Barrett
Topics & Concepts
Computer scienceVerifiable secret sharingCode (set theory)Loop (graph theory)Programming languageCode generationAlgorithmParallel computingOperating systemMathematicsKey (lock)Set (abstract data type)CombinatoricsSoftware Testing and Debugging TechniquesFormal Methods in VerificationParallel Computing and Optimization Techniques