scholarly journals Directed explicit-state model checking in the validation of communication protocols

2004 ◽  
Vol 5 (2-3) ◽  
pp. 247-267 ◽  
Author(s):  
Stefan Edelkamp ◽  
Stefan Leue ◽  
Alberto Lluch-Lafuente
Keyword(s):  
Model Checking ◽  
Communication Protocols ◽  
State Model

scholarly journals Modelling and verification of reconfigurable multi-agent systems

2021 ◽  
Vol 35 (2) ◽  
Author(s):  
Yehia Abd Alrahman ◽  
Nir Piterman
Keyword(s):  
Model Checking ◽  
Communication Protocols ◽  
Local State ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Robot Systems ◽  
Message Exchange ◽  
Multi Agent ◽  
Exchange Data ◽  
Multi Robot

AbstractWe propose a formalism to model and reason about reconfigurable multi-agent systems. In our formalism, agents interact and communicate in different modes so that they can pursue joint tasks; agents may dynamically synchronize, exchange data, adapt their behaviour, and reconfigure their communication interfaces. Inspired by existing multi-robot systems, we represent a system as a set of agents (each with local state), executing independently and only influence each other by means of message exchange. Agents are able to sense their local states and partially their surroundings. We extend ltl to be able to reason explicitly about the intentions of agents in the interaction and their communication protocols. We also study the complexity of satisfiability and model-checking of this extension.

Model Checking Communication Protocols

2001 ◽  
pp. 160-170 ◽  
Author(s):  
Pablo Argón ◽  
Giorgio Delzanno ◽  
Supratik Mukhopadhyay ◽  
Andreas Podelski
Keyword(s):  
Model Checking ◽  
Communication Protocols

scholarly journals Distributed Explicit State Model Checking of Deadlock Freedom

2013 ◽  
pp. 235-241 ◽  
Author(s):  
Brad Bingham ◽  
Jesse Bingham ◽  
John Erickson ◽  
Mark Greenstreet
Keyword(s):  
Model Checking ◽  
State Model ◽  
Deadlock Freedom
Sign in / Sign up

Export Citation Format

Share Document