IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper) Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet NASA Ames Research Center, Moffett Field, CAAbstract. The RTCA standar

Source URL: jorgenavas.github.io

• Software engineering
• Computing
• Software
• Compilers
• Compiler construction
• Compiler optimizations
• Abstract interpretation
• LLVM
• Programming language implementation
• Intermediate representation
• Polyspace
• Static program analysis

Modeling and Monitoring of Hierarchical State Machines in Scala? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov

Source URL: rjoshi.org

• Computing
• Software engineering
• Models of computation
• UML state machine
• State diagram
• HSM
• Scala

New Challenges in Model Checking Gerard J. Holzmann, Rajeev Joshi, and Alex Groce NASA/JPL Laboratory for Reliable Software, Pasadena, CA 91109, USA {Gerard.Holzmann, Rajeev.Joshi,Alex.Groce}@jpl.nasa.gov

Source URL: rjoshi.org

• Formal methods
• Theoretical computer science
• Software engineering
• Computing
• Logic in computer science
• Software testing
• Model checking
• Formal verification
• Software verification
• Flash memory
• Verification
• Software quality

Modeling Rover Communication using Hierarchical State Machines with Scala Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov

Source URL: rjoshi.org

• Computing
• Software engineering
• Computer programming
• Inter-process communication
• UML state machine
• Message queue
• Message passing
• Event loop
• Futures and promises
• Monitor
• Scala
• High-Speed SECS Message Services

Reliable Software Systems Design: Defect Prevention, Detection, and Containment Gerard J. Holzmann Rajeev Joshi Laboratory for Reliable Software NASA/JPL Pasadena, CA 91109, USA

Source URL: rjoshi.org

• Computing
• Software quality
• Engineering
• Reliability engineering
• Software engineering
• Design for X
• Materials science
• Survival analysis
• Fault tolerance
• Redundancy
• Software design
• Modular programming

PDF Document

Source URL: pubs.giss.nasa.gov

PDF Document

Source URL: gacp.giss.nasa.gov

PDF Document

Source URL: develop.larc.nasa.gov

PDF Document

Source URL: voyager.jpl.nasa.gov

PDF Document

Source URL: voyager.jpl.nasa.gov