Publication | Closed Access
Probabilistic symbolic model checking with PRISM: a hybrid approach
436
Citations
34
References
2004
Year
EngineeringAutomated ReasoningProgram AnalysisVerificationProbabilistic Symbolic ModelFormal MethodsSoftware AnalysisSystems EngineeringComputer-aided VerificationComputer ScienceModel CheckingModel VerificationFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1