Model Checking Dynamic Distributed Systems

2015 ◽  
pp. 48-61
Author(s):  
C. Aiswarya
Keyword(s):  
Distributed Systems ◽  
Model Checking

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

scholarly journals Teaching Rigorous Distributed Systems With Efficient Model Checking

2019 ◽  
Author(s):  
Ellis Michael ◽  
Doug Woos ◽  
Thomas Anderson ◽  
Michael D. Ernst ◽  
Zachary Tatlock
Keyword(s):  
Distributed Systems ◽  
Model Checking

scholarly journals Model Checking Coalition Nash Equilibria in MAD Distributed Systems

2009 ◽  
pp. 531-546 ◽  
Author(s):  
Federico Mari ◽  
Igor Melatti ◽  
Ivano Salvo ◽  
Enrico Tronci ◽  
Lorenzo Alvisi ◽  
...  
Keyword(s):  
Distributed Systems ◽  
Model Checking ◽  
Nash Equilibria

scholarly journals Priority scheduling of distributed systems based on model checking

2011 ◽  
Vol 39 (3) ◽  
pp. 229-245 ◽  
Author(s):  
Ananda Basu ◽  
Saddek Bensalem ◽  
Doron Peled ◽  
Joseph Sifakis
Keyword(s):  
Distributed Systems ◽  
Model Checking ◽  
Priority Scheduling
Sign in / Sign up

Export Citation Format

Share Document