Back to Results
First PageMeta Content
Craig interpolation / Mathematical optimization / Mathematics / Interpolation / Video / Video signal


Proc. FORTE 2015, (c) Springer . Prefixes: Sliced Path An Effective Method to Enable Refinement Selection
Add to Reading List

Document Date: 2015-04-02 08:37:56

Open Document

File Size: 864,78 KB

Share Result on Facebook

City

A CEGAR / /

Country

Germany / /

Facility

Philipp Wendler University of Passau / /

IndustryTerm

internal algorithms / reachability algorithm / software verification / Automatic software verification / /

Organization

Philipp Wendler University of Passau / /

Person

Stefan Löwe / Dirk Beyer / /

Position

abstract model / the analysis / vp / CPA / /

ProgrammingLanguage

C / L / /

Technology

infeasible Algorithm / internal algorithms / analysis algorithm / CEGAR algorithm / reachability algorithm / CPA algorithm / /

SocialTag