NASA Logo, National Aeronautics and Space Administration

+NASA Home

+Ames Home

Robust Software Engineering Members Organize International Spin Symposium on Model-Checking SoftwareRobust Software Engineering
Intelligent Systems Division Banner

Robust Software Engineering Members Organize International Spin Symposium on Model-Checking SoftwareRobust Software Engineering

Robust Software Engineering members Neha Rungta and Oksana Tkachuk organized the 21st International SPIN Symposium on Model Checking of Software, held in San Jose on July 21-23, 2014. SPIN is a forum for practitioners and researchers interested in software verification and engineering, and is a leading symposium on software model checking.

The technical program for SPIN 2014 consisted of two research tracks: (a) Software Verification, and (b) Software Engineering. The SPIN program featured ten full research papers, ten short papers, and invited talks by Karen Gundy-Burlet (NASA Ames) on “LADEE Flight Software: Verification Techniques;” and Henny Sipma (Kestrel Technology) on “Analysis of x86 Executables using Abstract Interpretation.”

SPIN 2014 was co-located with the International Symposium on Software Testing and Analysis (ISSTA), and held joint sessions with ISSTA on Wednesday, July 23. The joint session included a keynote talk by Cormac Flanagan (UC Santa Cruz), a Tools track that included presentations of the SPIN short papers, and a poster session. Nastaran Shafiei (SGT) presented her work on “Automatic Handling of Native Methods in Java PathFinder” at SPIN, and during the joint sessions with ISSTA.

SPIN was sponsored by Stinger Ghaffarian Technologies (SGT), NASA, Microsoft, Nvidia, and International Business Machines (IBM) Research. More information can be found on the symposium website:

http://spin2014.org/

NASA PROGRAM FUNDING: System-wide Safety Assurance Technologies (SSAT) project, Aviation Safety Program (AvSP), Aeronautics Research Mission Directorate (ARMD)

Contact: Neha Rungta, Oksana Tkachuk

First Gov logo
NASA Logo - nasa.gov