Model Checking Nash-Equilibrium - Automatic Verification of Robustness in Distributed Systems

2018 ◽  
pp. 436-440
Author(s):  
Dileepa Fernando
Keyword(s):  
Distributed Systems ◽  
Nash Equilibrium ◽  
Model Checking ◽  
Automatic Verification

scholarly journals Compositional Verification using Model Checking and Theorem Proving

2020 ◽  
pp. 305-314
Author(s):  
Diego Marmsoler
Keyword(s):  
Distributed Systems ◽  
Model Checking ◽  
Embedded Systems ◽  
Theorem Proving ◽  
Formal Modeling ◽  
Compositional Verification ◽  
Modeling And Analysis ◽  
Simple Version ◽  
Evolving Systems ◽  
Alternative Approach

AbstractCollaborative embedded systems form groups in which individual systems collaborate to achieve an overall goal. To this end, new systems may join a group and participating systems can leave the group. Classical techniques for the formal modeling and analysis of distributed systems, however, are mainly based on a static notion of systems and thus are often not well suited for the modeling and analysis of collaborative embedded systems. In this chapter, we propose an alternative approach that allows for the verification of dynamically evolving systems and we demonstrate it in terms of a running example: a simple version of an adaptable and flexible factory.

scholarly journals A symbolic model checking approach in formal verification of distributed systems

2019 ◽  
Vol 9 (1) ◽  
Author(s):  
Alireza Souri ◽  
Amir Masoud Rahmani ◽  
Nima Jafari Navimipour ◽  
Reza Rezaei
Keyword(s):  
Distributed Systems ◽  
Model Checking ◽  
Formal Verification ◽  
Symbolic Model Checking ◽  
Symbolic Model

scholarly journals Model checking distributed systems by combining caching and process checkpointing

2011 ◽  
Author(s):  
Watcharin Leungwattanakit ◽  
Cyrille Artho ◽  
Masami Hagiya ◽  
Yoshinori Tanabe ◽  
Mitsuharu Yamamoto
Keyword(s):  
Distributed Systems ◽  
Model Checking

Automatic verification for a class of distributed systems

2000 ◽  
Vol 13 (3) ◽  
pp. 127-143 ◽  
Author(s):  
G. Manduchi ◽  
M. Moro
Keyword(s):  
Distributed Systems ◽  
Automatic Verification
Sign in / Sign up

Export Citation Format

Share Document