<--- Back to Details
First PageDocument Content
San Gabriel Valley / Harvey Seeley Mudd / Macbeth / Los Angeles County /  California / Technology / Southern California / Association of American Universities / Association of Independent Technological Universities / California Institute of Technology
San Gabriel Valley
Harvey Seeley Mudd
Macbeth
Los Angeles County
California
Technology
Southern California
Association of American Universities
Association of Independent Technological Universities
California Institute of Technology

Add to Reading List

Source URL: calteches.library.caltech.edu

Download Document from Source Website

Share Document on Facebook

Similar Documents

Model checkers / Software engineering / Theoretical computer science / Formal methods / C / C++ / Sizeof / Model checking / Promela / Abstraction / Computing / Abstract interpretation

Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive

DocID: 1xVIA - View Document

FO / Finite model theory / Model theory / Metaphilosophy / Mathematical logic / Mathematics / Sigma-algebra / Pattern language

Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA

DocID: 1xVrl - View Document

Model checkers / Software engineering / Computing / Model checking / Theoretical computer science / SPIN model checker / Stack / Promela / Exception handling / Device driver synthesis and verification

Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology

DocID: 1xVnS - View Document

Software testing / Software engineering / Computing / Quality / Fault injection / Software verification / Reliability engineering / Formal verification / Flash memory / Software quality / Stress testing / Exception handling

Randomized Differential Testing as a Prelude to Formal Verification Alex Groce, Gerard Holzmann, and Rajeev Joshi Laboratory for Reliable Software ∗ Jet Propulsion Laboratory California Institute of Technology Pasadena

DocID: 1xVf0 - View Document

Model checkers / Theoretical computer science / Formal methods / Software engineering / Logic in computer science / Model checking / Search algorithms / Formal verification / SPIN model checker / Verification / Swarm behaviour / Promela

Swarm Verification 1 Gerard J. Holzmann, Rajeev Joshi, Alex Groce Jet Propulsion Laboratory, California Institute of Technology Abstract

DocID: 1xUKZ - View Document