Publication | Closed Access
Parallel probabilistic model checking on general purpose graphics processors
39
Citations
23
References
2010
Year
EngineeringProbabilistic VerificationVerificationFormal MethodsComputer EngineeringComputer-aided VerificationParallel Probabilistic ModelParallel ProgrammingComputer-aided DesignComputer ScienceModel CheckingParallel ComputingFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1