2:01Interval Counterexamples for Loop Invariant Learning (Teaser, ESEC/FSE 2020)ACM SIGSOFT20 viewsView & Download
18:03Interval Counterexamples for Loop Invariant Learning (Video, ESEC/FSE 2020)ACM SIGSOFT77 viewsView & Download
19:43Counterexample- and Simulation-Guided Floating-Point Loop Invariant SynthesisACM SIGPLAN231 viewsView & Download
11:36Counterexamples and simulation for floating-point loop invariant synthesisPavel Panchekha51 viewsView & Download
2:27LAFF-On 6.2.4 LU Factorization, More Loop Invariants, Part 1UTAustinX LAFF-On Programming for Correctness241 viewsView & Download
1:10Static Code Analysis - Loop Invariant Hoisting with Facebook InferModern Learner191 viewsView & Download
2:58NeurIPS 2018 Spotlight - Learning Loop Invariants for Program VerificationHanjun Dai791 viewsView & Download
1:27:18[HD] EECS4315 W23 - 2023-04-06 - Proving Correctness of Loops, Loop Invariant vs. Loop VariantJackie Wang676 viewsView & Download