'General search procedure' presentation slideshows

From Invariant Checking to Invariant Inference Using Randomized Search

Rahul Sharma and Alex Aiken (Stanford University). From Invariant Checking to Invariant Inference Using Randomized Search. Randomized Search. x = i ; y = j; while y!=0 do x = x-1; y = y-1; if( i ==j ) assert x==0. No! Yes!. Invariants. Heap. Numerical. Arrays. Strings.

405 views • 22 slides