Reasoning about almost-certain convergence properties using Event-B
METADATA ONLY
Loading...
Author / Producer
Date
2014-02
Publication Type
Conference Paper
ETH Bibliography
yes
Citations
Altmetric
METADATA ONLY
Data
Rights / License
Permanent link
Publication status
published
External links
Editor
Book title
Journal / series
Volume
81
Pages / Article No.
108 - 121
Publisher
Elsevier
Event
10th International Workshop on Automated Verification of Critical Systems (AVOCS 2010)
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Almost-certain convergence; Event-B; Formal modelling; Probabilistic termination; Tool support
Organisational unit
03634 - Basin, David / Basin, David
Notes
Received 9 September 2011, Revised 6 August 2013, Accepted 12 August 2013, Available online 28 August 2013.