Reasoning about almost-certain convergence properties using Event-B
Under an Elsevier user license
open archive
Keywords
Event-B
Formal modelling
Probabilistic termination
Almost-certain convergence
Tool support
Cited by (0)
Copyright © 2013 Elsevier B.V. All rights reserved.