First Page | Meta Content | |
---|---|---|
![]() | Document Date: 2013-10-11 06:59:10Open Document File Size: 681,63 KBShare Result on FacebookCityLausanne / Surrey / /CountryUnited States / /EventMan-Made Disaster / /FacilitySwitzerland R. Jhala University of California / Simon Fraser University / C library / USA R. Majumdar University of California / /IndustryTermsoftware engineering / automatic tools / context-free reachability algorithm / Software model checking / predicate-discovery algorithm / interpolation-based predicate-discovery algorithm / refinement algorithm / software model checker / program verification algorithm / Automatic software verification tools / abstract search / software verification tools / model-checking technology / counterexampleanalysis algorithm / automatic verification tool / software testing / counterexample-analysis algorithm / program-transformation tool / /OrganizationUniversity of California / Los Angeles / Simon Fraser University / University of California / San Diego / /PersonThomas A. Henzinger / Dirk Beyer / Ranjit Jhala / /Positiondriver for function altInit / software engineer / programmer / /ProgrammingLanguageJava / J / C / K / /ProvinceOrStateBritish Columbia / California / /Technologymodel-checking technology / predicate-discovery algorithm / counterexample-analysis algorithm / interpolation-based predicate-discovery algorithm / program verification algorithm / Java / counterexampleanalysis algorithm / refinement algorithm / modelchecking algorithm / context-free reachability algorithm / operating system / /SocialTag |