Publication | Closed Access

Operational versus weakest pre-expectation semantics for the probabilistic guarded command language

Programming Language TheoryFormal SpecificationEngineeringOperational SemanticsAutomated ReasoningInformation SecurityProgram AnalysisVerificationProbabilistic VerificationFormal MethodsSoftware AnalysisSystems EngineeringComputer ScienceCommand LanguageFormal VerificationLanguage-based Security