![Algebraic geometry / Invariant / Homogeneous polynomial / Loop invariant / Monomial / Quantum invariant / Mathematics / Algebra / Invariant theory Algebraic geometry / Invariant / Homogeneous polynomial / Loop invariant / Monomial / Quantum invariant / Mathematics / Algebra / Invariant theory](https://www.pdfsearch.io/img/cfee383bf9ca17d8aa2271e53b573827.jpg)
| Document Date: 2013-01-08 02:57:59 Open Document File Size: 359,87 KBShare 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 |