| Document Date: 2012-09-19 03:03:42 Open Document File Size: 238,61 KBShare Result on Facebook
City Interpolation / / Company Dell / / Facility University of Manchester / TPTP Problem Library / Satisfiability Modulo Theories Library / / IndustryTerm software model checker / standalone tool / minimal solution / software verification tools / concrete verification tools / suboptimal solutions / pseudo-boolean optimisation tool / software verification competition / software verification / end-applications / / OperatingSystem MacOS / Linux / / Organization University of Manchester / / Person Geoff Sutcliffe / Laura Kov / / Position reverse engineer / / Product CPAchecker / / ProgrammingLanguage C++ / php / / Technology RAM / Linux / / URL www.SMT-LIB.org / http /
SocialTag |