Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms

2014 ◽  
pp. 122-171 ◽  
Author(s):  
Annu Gmeiner ◽  
Igor Konnov ◽  
Ulrich Schmid ◽  
Helmut Veith ◽  
Josef Widder
Keyword(s):  
Model Checking ◽  
Distributed Algorithms ◽  
Fault Tolerant ◽  
Parameterized Model

scholarly journals Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms

2013 ◽  
pp. 209-226 ◽  
Author(s):  
Annu John ◽  
Igor Konnov ◽  
Ulrich Schmid ◽  
Helmut Veith ◽  
Josef Widder
Keyword(s):  
Model Checking ◽  
Distributed Algorithms ◽  
Fault Tolerant

Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms

2008 ◽  
Author(s):  
Takahiro Minamikawa ◽  
Tatsuhiro Tsuchiya ◽  
Tohru Kikuno
Keyword(s):  
Model Checking ◽  
Distributed Algorithms ◽  
Fault Tolerant ◽  
Tool Support
Sign in / Sign up

Export Citation Format

Share Document