NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Proceedings of the Second NASA Formal Methods SymposiumThis publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by the National Aeronautics and Space Administration and held in Washington D.C. April 13-15, 2010.
Document ID
20100018529
Acquisition Source
Langley Research Center
Document Type
Conference Publication (CP)
Authors
César Muñoz ORCID(Langley Research Center Hampton, United States)
Date Acquired
August 24, 2013
Publication Date
April 1, 2010
Publication Information
Publisher: National Aeronautics and Space Administration
Subject Category
Mathematical and Computer Sciences (General)
Report/Patent Number
NF1676L-10398
NASA/CP-2010-216215
L-19844
Meeting Information
Meeting: 2nd NASA Formal Methods Symposium
Location: Washington, DC
Country: US
Start Date: April 13, 2010
End Date: April 15, 2010
Sponsors: National Aeronautics and Space Administration
Funding Number(s)
WBS: 411931.02.51.07.01
Distribution Limits
Public
Copyright
Public Use Permitted.
Technical Review
NASA Technical Management
Keywords
Formal Methods
Formal Model
Hardware Assurance
Life Critical
Model Checking
Safety Critical
Software Assurance
Theorem Proving
Verification

Related Records

IDRelationTitle20100018530WorkSynthesis of Greedy Algorithms Using Dominance Relations20100018531WorkCoverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness20100018532WorkDecision Engines for Software Analysis Using Satisfiability Modulo Theories Solvers20100018533WorkVerification and Validation of Flight-Critical Systems20100018534WorkAutomated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications20100018535WorkFormal Methods at Intel: An Overview20100018536WorkSimCheck: An Expressive Type System for Simulink20100018537WorkHow Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project20100018538WorkData-Flow Based Model Analysis20100018539WorkCan Regulatory Bodies Expect Efficient Help from Formal Methods?20100018540WorkA Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover20100018541WorkModel Checking with Edge-Valued Decision Diagrams20100018542WorkA New Method for Incremental Testing of Finite State Machines20100018543WorkVerification of Faulty Message Passing Systems with Continuous State Space in PVS20100018544WorkUsing Integer Clocks to Verify the Timing-Sync Sensor Network Protocol20100018545WorkSlice-Based Formal Specification Measures: Mapping Coupling and Cohesion Measures to Formal Z20100018546WorkA Machine-Checked Proof of A State-Space Construction Algorithm20100018547WorkPhase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking20100018548WorkModeling Regular Replacement for String Constraint Solving20100018549WorkSlicing AADL Specifications for Model Checking20100018550WorkSoftware Model Checking of ARINC-653 Flight Code with MCP20100018551WorkSymbolic Computation of Strongly Connected Components Using Saturation20100018552WorkFormal Verification of Large Software Systems20100018553WorkTowards the Formal Verification of a Distributed Real-Time Automotive System20100018554WorkAutomatic Review of Abstract State Machines by Meta Property Verification20100018555WorkHardware-Independent Proofs of Numerical Programs20100018556WorkEvaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B
No Preview Available