| Document Date: 2013-10-11 07:00:05
Open Document File Size: 413,80 KBShare Result on Facebook
Company H. Sa / S. McPeak S. P. / Large-Block Encoding I. I NTRODUCTION Software / / Currency pence / / Facility Germany University of Passau / I MPACT Dirk Beyer Philipp Wendler University of Passau / / IndustryTerm important algorithms / traversal algorithm / configurable software verification / experimental infrastructure / software model checking / predicate-based software model checking / interpolants algorithm / exploration algorithms / depth-first search / predicate-abstraction algorithms / interpolation-based software verification / proposed computing predicate abstractions / software model checker / tools / model-checking algorithms / open-source software verification platform / software-verification framework / last software-verification competition / system software / pre-processing / software verification / / MarketIndex VALUATIONS / / OperatingSystem Linux / Ubuntu / / Organization MPACT Dirk Beyer Philipp Wendler University of Passau / Germany University of Passau / / Person E. Bounimova / V / / Position CPA / loop head / existing CPA / general data structures / CPA for predicate analysis / Static Driver / / ProgrammingLanguage Java / L / C / C++ / / ProvinceOrState Illinois / / Technology existing CPA algorithm / model-checking algorithms / PACT algorithm / traversal algorithm / RAM / analysis algorithm / interpolants algorithm / Java / Linux / MPACT algorithm / modified algorithm / caching / MPACT-based algorithm / operating system / exploration algorithms / predicate-abstraction algorithms / interpolation-based algorithm / C. The lattice Algorithm / unifying algorithm / two algorithms / CPA algorithm / / URL http /
SocialTag |
Algorithms for Software Model Checking: Predicate Abstraction vs. I MPACT Dirk Beyer Philipp Wendler