| Document Date: 2008-11-03 13:00:13
Open Document File Size: 576,48 KBShare Result on Facebook
Company IBM / Target Software / Chiron / Oxford University Computing Laboratory / CVS / Ames / Verification Requirements Rover / / Currency pence / USD / / Facility Daniel Port / / IndustryTerm software system / energy considerations / respective verification tools / concurrency runtime analysis tool / representative autonomy software / theorem proving tool / validation technologies / autonomous software / runtime analysis tools / bug-locating tools / temporal logic runtime monitoring tool / similar tools / heuristic algorithms / static analysis tool / representative autonomous software / verification tools / finite-state verification tools / software prototype / time flight software / formal methods tools / autonomy software / mechanical systems / model checking tool / control / flight software / software life-cycle / software development / autonomy flight software / software systems / model checking tools / deep-space flight software / energy / / Organization National Aeronautics and Space Administration / Oxford University / Mars Smart Lander mission / / Person Corina Pasareanu / Internal Rover / Allen Goldberg / Barry Boehm / Klaus Havelund / Mike Lowry / Arnaud Venet / Internal Rover Telemetry / / Position author / representative example / interpreter for the plan language / Planner ExecTimerWaiter ExecTimer PlanWatcher ExecCondChecker ActionExecution Executive / Executive / representative / Planner / executive controller / interpreter / / ProgrammingLanguage Ada / CICS / Java / C / C++ / / PublishedMedium the Executive advances / / Technology functional programming / validation technologies / artificial intelligence / Java / three technologies / /
SocialTag |
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software Guillaume Brat, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Mike Lowry, Corina Pasareanu, Arnaud Venet, Willem Visser, Ri