A Data Driven Approach for Algebraic Loop Invariants? Rahul Sharma1 , Saurabh Gupta2 , Bharath Hariharan2 , Alex Aiken1 , Percy Liang1 , and Aditya V. Nori3 2 - Aditya - Document - PDFSEARCH.IO

First Page	Meta Content
	A Data Driven Approach for Algebraic Loop Invariants? Rahul Sharma1 , Saurabh Gupta2 , Bharath Hariharan2 , Alex Aiken1 , Percy Liang1 , and Aditya V. Nori3 2 Add to Reading List Document Date: 2013-01-07 14:10:37 Open Document File Size: 349,77 KB Share Result on Facebook Company Guess / / / Facility University of California at Berkeley / Stanford University / / IndustryTerm data driven algorithm / software model checking / sound algorithm / verification tool / / Organization University of California / National Science Foundation / Stanford University / / Position loop guard / loop head / / ProvinceOrState California / / SportsLeague Stanford University / / Technology Guess-and-Check Algorithm The Guess-and-Check algorithm / known algorithm / Guess-and-Check algorithm / sound algorithm / / SocialTag Algebraic geometry Invariant Homogeneous polynomial Loop invariant Monomial Quantum invariant Mathematics Algebra Invariant theory

A Data Driven Approach for Algebraic Loop Invariants? Rahul Sharma1 , Saurabh Gupta2 , Bharath Hariharan2 , Alex Aiken1 , Percy Liang1 , and Aditya V. Nori3 2Add to Reading List