| Document Date: 2013-10-11 06:59:10
Open Document File Size: 214,84 KBShare Result on Facebook
Company informa- 30 Authorized / IEEE Authorized / syntac- 36 Authorized / Authorized / Intel / Microsoft / / Country Switzerland / / Currency pence / USD / / Event Man-Made Disaster / / Facility Dirk Beyer Simon Fraser University / square Symbolic k=0 / Program square / / IndustryTerm software engineering / client/server software / large safety-critical software / supplementary web page / server software / direct product / predicate-based abstraction refinement algorithms / symbolic search / software model checker / otherwise imprecise cartesian product / connection handshake protocol / software model checkers / on-line transfer / system software / software verification / verification tool / / OperatingSystem GNU/Linux / / Organization National Science Foundation / Universitat Passau / Simon Fraser University / / Person Thomas A. Henzinger / ERI S OFT / / Position unified lattice model for the static analysis / CPA / CPA for shape analysis / / Product UTE / CPA+ / / ProgrammingLanguage L / C / / ProvinceOrState Illinois / / Technology RAM / predicate-based abstraction refinement algorithms / analysis algorithm / Linux / 6700 processor / client/server / Reachability Algorithm / / URL http /
SocialTag |
Program Analysis with Dynamic Precision Adjustment ∗ Dirk Beyer Simon Fraser University, Canada Thomas A. Henzinger EPFL, Switzerland