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

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

Source URL: fm.csl.sri.com

March 14, 2016 Sent via Electronic Mail (scoping comments only) and Certified Mail (comments and exhibits) U.S. Bureau of Land Management Farmington Field Office Attn: Mark Ames 6251 College Blvd., Suite A

Source URL: climatewest.files.wordpress.com

• Environment of the United States
• Natural environment
• Environment
• Sustainability
• 91st United States Congress
• National Environmental Policy Act
• Bureau of Land Management
• Environmental impact statement
• Environmental impact assessment
• Mineral Leasing Act
• Environmental justice
• United States Environmental Protection Agency

1 Rapidly Exponentially Stabilizing Control Lyapunov Functions and Hybrid Zero Dynamics Aaron D. Ames, Kevin Galloway, J. W. Grizzle, and Koushil Sreenath

Source URL: web.eecs.umich.edu

• Mathematical analysis
• Mathematics
• Dynamical systems
• Control theory
• Lyapunov stability
• Stability theory
• Lyapunov equation
• Inverse trigonometric functions
• Vector field
• Z-transform
• Bessel function

Formal Safety Certification of Auto-Generated Aerospace Software Ewen Denney and Bernd Fischer {edenney,fisch}@email.arc.nasa.gov USRA/RIACS, NASA Ames Research Center, Moffett Field, CA 94035, USA Code generators can ad

Source URL: ti.arc.nasa.gov

• Formal methods
• Theoretical computer science
• Failure
• Materials science
• Reliability engineering
• Survival analysis
• DO-178B
• Exception handling
• Formal verification
• Software development process
• KeY
• Software development

A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software Ewen Denney SGT / NASA Ames Moffett Field, CA 94035

Source URL: ti.arc.nasa.gov

• Software requirements
• Formal methods
• Procedural programming languages
• Requirement
• Comment
• Formal verification
• Traceability
• Axiom
• C
• Mathematical proof
• Metamath

ADVANCES IN ELECTRONIC STRUCTURE THEORY: GAMESS A DECADE LATER MARK S. GORDON AND MICHAEL W. SCHMIDT DEPARTMENT OF CHEMISTRY AND AMES LABORATORY, IOWA STATE UNIVERSITY, AMES, IA 50011

Source URL: www.msg.ameslab.gov

• Quantum chemistry
• Computational chemistry
• Theoretical chemistry
• Multi-configurational self-consistent field
• Electronic correlation
• GAMESS
• Complete active space
• Coupled cluster
• MOLCAS
• Configuration interaction
• Ab initio quantum chemistry methods
• NWChem

Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal Ewen Denney, Ganesh Pai and Josef Pohl SGT / NASA Ames Research Center Moffett Field, CA 94035, USA Email: {ewen.denney, ganesh.pai, josef.po

Source URL: ti.arc.nasa.gov

• Avionics
• Safety engineering
• Safety
• Risk
• Systems engineering
• Hazard analysis
• Safety case
• Unmanned aerial vehicle
• Functional safety
• Autopilot
• System safety
• Avionics software

IFAR – International Forum for Aviation Research Declaration Summitto 8 October 2015, NASA Ames Research Center in Moffett Field, California The International Forum for Aviation Research (IFAR) is the world’s

Source URL: www.ifar.aero

IFAR – International Forum for Aviation Research Declaration Summitto 8 October 2015, NASA Ames Research Center in Moffett Field, California The International Forum for Aviation Research (IFAR) is the world’s

Source URL: www.ifar.aero