Automated verification of specifications with typestates and access permissions /

Bibliographic Details

Main Author:	Siminiceanu, Radu I.
Corporate Author:	Langley Research Center
Other Authors:	Cataño, Néstor
Format:	Government Document eBook
Language:	English
Published:	Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2011]
Series:	NASA contractor report ; NASA CR-217170.
Subjects:	Program verification (Computers) Specifications. Approach control. Data flow analysis. Algorithms. Parallel programming.
Online Access:	https://purl.fdlp.gov/GPO/gpo16668