| Document Date: 2012-09-04 16:57:56 Open Document File Size: 149,77 KBShare 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 |