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
Verification of Faulty Message Passing Systems with Continuous State Space in PVSWe present a library of Prototype Verification System (PVS) meta-theories that verifies a class of distributed systems in which agent communication is through message-passing. The theoretic work, outlined in, consists of iterative schemes for solving systems of linear equations , such as message-passing extensions of the Gauss and Gauss-Seidel methods. We briefly review that work and discuss the challenges in formally verifying it.
Document ID
20100018543
Acquisition Source
Langley Research Center
Document Type
Conference Paper
Authors
Concetta Pilotto (California Institute of Technology Pasadena, United States)
Jerome White ORCID(California Institute of Technology Pasadena, United States)
Date Acquired
August 24, 2013
Publication Date
April 1, 2010
Publication Information
Publication: Proceedings of the Second NASA Formal Methods Symposium
Publisher: National Aeronautics and Space Administration
Subject Category
Computer Programming and Software
Report/Patent Number
NASA/CP-2010-216215
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
Distribution Limits
Public
Copyright
Portions of document may include copyright protected material.
Technical Review
NASA Technical Management
Document Inquiry

Available Downloads

There are no available downloads for this record.

Related Records

IDRelationTitle20100018529Collected WorksProceedings of the Second NASA Formal Methods Symposium
No Preview Available