Back to Results
First PageMeta Content



Toward the Integration of Symbolic and Numerical Static Analysis Arnaud Venet Kestrel Technology 3260 Hillview Avenue Palo Alto, CA 94304
Add to Reading List

Document Date: 2012-09-04 16:57:56

Open Document

File Size: 149,77 KB

Share Result on Facebook

City

Cloning / Inclusion / /

Company

ACM Press / IEEE Computer Society Press / IEEE CS Press / A. Academic Press / /

/

Facility

University of Copenhagen / International Space Station / /

IndustryTerm

software verification system / large-scale verification systems / Partial online cycle elimination / large safety-critical software / ad hoc algorithms / constraint resolution algorithm / control software / symbolic analysis algorithms / flight software / verification tool / /

Organization

National Aeronautics and Space Administration / University of Copenhagen / /

Person

Arnaud Venet / /

/

Position

Global Surveyor / tackle the analysis / unified lattice model for static analysis / /

ProgrammingLanguage

C / Java / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

ad hoc algorithms / Cloning / symbolic analysis algorithms / Java / constraint resolution algorithm / solved using a constraint resolution algorithm / /

SocialTag