Reasoning about almost-certain convergence properties using Event-B

Thumbnail
Metadata only
Author
Hoang, Thai Son
Date
2014-02
Type
    Conference Paper
Publication status
published
External links
Journal / series
Science of Computer Programming
Volume
81
Pages / Article No.
108 - 121
Publisher
Elsevier
Event
10th International Workshop on Automated Verification of Critical Systems (AVOCS 2010), Düsseldorf, Germany, September 20-23, 2010
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.
More
Show all metadata
Citations
Cited null times in Scopus
ETH Bibliography
yes
Altmetrics