<--- Back to Details
First PageDocument Content
Mountain View /  California / Ames Research Center / Java Pathfinder / Universities Space Research Association / NASA Advanced Supercomputing Division / Space Shuttle / Deep Space 1 / NAS Parallel Benchmarks / NASA / Spaceflight / Space technology / Research Institute for Advanced Computer Science
Date: 2012-07-24 12:04:50
Mountain View
California
Ames Research Center
Java Pathfinder
Universities Space Research Association
NASA Advanced Supercomputing Division
Space Shuttle
Deep Space 1
NAS Parallel Benchmarks
NASA
Spaceflight
Space technology
Research Institute for Advanced Computer Science

Add to Reading List

Source URL: history.arc.nasa.gov

Download Document from Source Website

File Size: 5,74 MB

Share Document on Facebook

Similar Documents

Software engineering / Java Pathfinder / Computer programming / Computing / Const / Obfuscation / Assembly languages / Programming language syntax / Java / P-code machine

Using Java Pathfinder to Reason about Agent Systems Franco Raimondi Department of Computer Science Middlesex University

DocID: 1xTg2 - View Document

Using Symbolic (Java) PathFinder at NASA Corina S. P˘as˘areanu Carnegie Mellon University/NASA Ames Research Center, Moffett Field, CA 94035, USA,

DocID: 1s1qc - View Document

Java Pathfinder

Exhaustive Testing of Safety Critical Java

DocID: 1qTQs - View Document

Software testing / Concolic testing / Symbolic execution / Java Pathfinder / KeY / Random testing / Model checking / Satisfiability modulo theories / Unit testing / Type system / White-box testing / Fuzz testing

Symbolic Execution for Software Testing in Practice – Preliminary Assessment Patrice Godefroid Imperial College London

DocID: 1pese - View Document

Computing / Software engineering / Software / Formal methods / Theoretical computer science / Model checkers / Logic in computer science / Java Pathfinder / Model checking / Formal verification / Promela / Abstract interpretation

PDF Document

DocID: 1iKZC - View Document