Publication | Closed Access
Probabilistic models for the guarded command language
162
Citations
7
References
1997
Year
EngineeringProgram AnalysisAutomated ReasoningGuarded Command LanguageVerificationProbabilistic VerificationFormal MethodsSoftware AnalysisComputer ScienceFormal VerificationLanguage-based SecurityComputer Security Model
| Year | Citations | |
|---|---|---|
Page 1
Page 1