Publication | Closed Access

Probabilistic models for the guarded command language

EngineeringProgram AnalysisAutomated ReasoningGuarded Command LanguageVerificationProbabilistic VerificationFormal MethodsSoftware AnalysisComputer ScienceFormal VerificationLanguage-based SecurityComputer Security Model