Verified Software Experiments

The Verified Software Initiative (VSI) aims at software industry embracing verification and verification technology throughout the software life-cycle. Industry requires mature tools, experienced engineers, and calculable risk assessments. Experiments are key drivers of the VSI, because they play a vital role to supply industry with data about the maturity of a proposed method. Scientific applications always precede industrial adoption, and experiments are typically conducted by scientists. A goal of the VSI is to provide a repository of objective and realistic case studies that will enable industry to take informed decisions on the viability of verification technology. The session “Verified Software Experiments” focuses on the transition from laboratory experiments to broader adoption by industry. This session shall give insights in results of such experiments.

Speaker Details

Rajeev Joshi is a Senior Engineer with the Laboratory for Reliable Software at the NASA Jet Propulsion Laboratory (JPL) in Pasadena, California. His main research interests are in the study and application of formal methods to the specification and verification of software. He is currently also a member of the flight software development team for the Mars Science Laboratory Mission (MSL), serving as responsible engineer for the rover data management system, the filesystems, and spacecraft high-level communication behaviors.

Before joining JPL, he worked as a researcher at the CompaqHP Systems Research Center (SRC) in Palo Alto, California where, among other projects, he worked on the Denali superoptimizer and the theorem prover Verifun. Before starting graduate school, he also worked as a Senior Technical Associate with the Math Sciences Research Group at AT&T Bell Laboratories in Murray Hill, New Jersey. He holds a PhD in Computer Sciences from the University of Texas at Austin.

Date:
Speakers:
Jim Woodcock, Rod Chapman, and Rajeev Joshi
Affiliation:
University of York, Praxis High Integrity Systems Limited, NASA
    • Portrait of Jeff Running

      Jeff Running