Publication | Closed Access

A proof system for concurrent ADA programs

EngineeringAutomated ReasoningProgram AnalysisVerificationConcurrent ProgrammingFormal MethodsConcurrency TheoryConcurrent Ada ProgramsComputer ScienceConcurrent SystemSoftware AnalysisSystem SoftwareFormal Verification