01736nam 2200493Ia 450 991070113230332120111221104342.0(CKB)5470000002415726(OCoLC)768998146(EXLCZ)99547000000241572620111221d2011 ua 0engurbn|||||||||txtrdacontentcrdamediacrrdacarrierAutomated verification of specifications with typestates and access permissions[electronic resource] /Radu I. Siminiceanu, Néstor CatañoHampton, Va. :National Aeronautics and Space Administration, Langley Research Center,[2011]1 online resource (31 pages)NASA/CR ;2011-217170Title from title screen (viewed on Dec. 21, 2011)."August 2011."Includes bibliographical references. (pages 19-20)Program verification (computers)nasatSpecificationsnasatApproach controlnasatData flow analysisnasatAlgorithmsnasatParallel programmingnasatProgram verification (computers)Specifications.Approach control.Data flow analysis.Algorithms.Parallel programming.Siminiceanu Radu I1405428Cataño Néstor1418899Langley Research Center.GPOGPOBOOK9910701132303321Automated verification of specifications with typestates and access permissions3531642UNINA