Formal methods at NASA Langley

DOI10.1007/3-540-45685-6_1MaRDI QIDQ4484327zbMATH OpenFDO

Authors Ricky Wayne Butler

Publication date 12 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2410/24100001.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• Communicating Sequential Processes. The First 25 Years
• Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
• Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm
• A realistic involvement of formal methods
• scientific article; zbMATH DE number 1982196

Cited in

(5)

• Effect of spatially distributed wall concentration on the wall-flux of a passive scalar field in a laminar to turbulent transition boundary layer
• ParILUT---A New Parallel Threshold ILU Factorization
• scientific article; zbMATH DE number 2011488 (Why is no real title available?)
• Refinement and verification applied to an in-flight data acquisition unit
• Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning

This page was built for publication: Formal methods at NASA Langley

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4484327)