| Document Date: 2012-05-15 19:38:07
Open Document File Size: 1.018,18 KBShare Result on Facebook
City Lausanne / / Company SRI International / CNF / / Country Switzerland / France / United States / / IndustryTerm free software / systematic proof search / search tree / type systems / subsumption algorithm / software verification / / OperatingSystem GNU/linux / / Organization Computer Science Lab of SRI International / / Person Sam Owre / Tiphaine / Bruno Dutertre / Filliâtre / Lori Truitt / Natarajan Shankar / Jean-Michel / Viktor Kuncak / Benjamin Werner / / Position great supervisor / General / / ProvinceOrState California / / Technology alpha / subsumption algorithm / Matching Algorithm / Unification Algorithm / Linux / Simplex algorithm / DPLL algorithm / dom / two algorithms / 4.6 Subsumption Check Algorithm / / URL http / |
First-order reasoning in Yices2 Master Thesis in Computer Science Simon Cruanes∗ supervised by Bruno Dutertre †, Viktor Kuncak ‡, Benjamin Werner § SRI International, Menlo Park, CA September 2011 – March 2012