Search Results for ''

published presentations and documents on DocSlides.

From Invariant Checking to Invariant Inference Using Randomized Search

by olivia-moreira

Rahul Sharma and Alex Aiken (Stanford University)...

From Invariant Checking to Invariant Inference Using Random

by calandra-battersby

Rahul Sharma and Alex Aiken (Stanford University)...