Add to ORKGThis publication consists of papers presented at NASA Langley Research Center's fourth workshop on the application of formal methods to the design and verification of life-critical systems. Topic considered include: Proving properties of accident; modeling and validating SAFER in VDM-SL; requirement analysis of real-time control systems using PVS; a tabular language for system design; automated deductive verification of parallel systems. Also included is a fundamental hardware design in PVS
This is the proceedings of Lfm2000: Fifth NASA Langley Formal Methods Workshop. The workshop was hel...
This is the Final Report of a research project to investigate issues and provide guidance for the qu...
Computational Structural Mechanics (CSM) topics are explored. Algorithms and software for nonlinear ...
The workshop brought together researchers involved in the NASA formal methods research effort for d...
The primary goal of the workshop was to bring together formal methods researchers and aerospace indu...
Today's verification techniques are hard-pressed to scale with the ever-increasing complexity of saf...
This paper presents an overview of NASA Langley research program in formal methods. The major goals ...
This guidebook, the second of a two-volume series, is intended to facilitate the transfer of formal ...
Presentations and discussions from the joint UVA/NASA Workshop on Computational Methods for Crashwor...
This report is based on one prepared as a chapter for the FAA Digital Systems Validation Handbook (a...
Advanced methods and testbed/simulator development topics are discussed. Computational Structural M...
This is the final technical report for grant number NAG-1-02101. The title of this grant was "Advanc...
Formal methods research begins to produce methods which will enable mathematic modeling of the physi...
The coexistence of multiple disciplinary perspectives on the same class of critical applications (ae...
Literature on the specification, design, verification, testing, and evaluation of avionics systems w...
This is the proceedings of Lfm2000: Fifth NASA Langley Formal Methods Workshop. The workshop was hel...
This is the Final Report of a research project to investigate issues and provide guidance for the qu...
Computational Structural Mechanics (CSM) topics are explored. Algorithms and software for nonlinear ...
The workshop brought together researchers involved in the NASA formal methods research effort for d...
The primary goal of the workshop was to bring together formal methods researchers and aerospace indu...
Today's verification techniques are hard-pressed to scale with the ever-increasing complexity of saf...
This paper presents an overview of NASA Langley research program in formal methods. The major goals ...
This guidebook, the second of a two-volume series, is intended to facilitate the transfer of formal ...
Presentations and discussions from the joint UVA/NASA Workshop on Computational Methods for Crashwor...
This report is based on one prepared as a chapter for the FAA Digital Systems Validation Handbook (a...
Advanced methods and testbed/simulator development topics are discussed. Computational Structural M...
This is the final technical report for grant number NAG-1-02101. The title of this grant was "Advanc...
Formal methods research begins to produce methods which will enable mathematic modeling of the physi...
The coexistence of multiple disciplinary perspectives on the same class of critical applications (ae...
Literature on the specification, design, verification, testing, and evaluation of avionics systems w...
This is the proceedings of Lfm2000: Fifth NASA Langley Formal Methods Workshop. The workshop was hel...
This is the Final Report of a research project to investigate issues and provide guidance for the qu...
Computational Structural Mechanics (CSM) topics are explored. Algorithms and software for nonlinear ...