Add to ORKGInternational audienceThis paper presents a methodology for modelling and verification of high-assurance distributed protocols. In the paper we describe two main technical contributions needed for the development method: communication modelling patterns and a refinement strategy. The applicability of the proposed method is demonstrated by developing a new distributed resource allocation protocol. We also discuss the necessity of integrating other tools such as stochastic model checkers for enabling verification of wider range of protocol properties
Distributed systems are rarely developed as monolithic programs. Instead, like any software, these s...
Distributed agreement-based systems use common distributed agreement protocols such as leader electi...
The problem of designing a correct real-time protocol is a challenging task and has led researchers ...
International audienceThis paper presents a methodology for modelling and verification of high-assur...
International audienceThe verification of distributed algorithms is a challenge for formal technique...
International audienceThe verification of distributed algorithms is a challenge for formal technique...
International audienceThe verification of distributed algorithms is a challenge for formal technique...
Distributed protocols, typically expressed as stateful agents communicating asynchronously over buff...
Abstract — In distributed applications, software components embedded in the communication protocols ...
We report on recent research lines related to parameterized verification and model checking applied ...
We present a new approach, certified program models, to establish correctness of distributed protoco...
Dependable distributed system typically utilize a hierarchy of protocols to provide for reliable and...
In this paper we consider the frameworks of Process Al-gebra and I/O Automata and we apply both towa...
Communication protocol design consists essentially of the construction of interacting protocol entit...
As computers become faster and more powerful, distributed systems and their communication protocols ...
Distributed systems are rarely developed as monolithic programs. Instead, like any software, these s...
Distributed agreement-based systems use common distributed agreement protocols such as leader electi...
The problem of designing a correct real-time protocol is a challenging task and has led researchers ...
International audienceThis paper presents a methodology for modelling and verification of high-assur...
International audienceThe verification of distributed algorithms is a challenge for formal technique...
International audienceThe verification of distributed algorithms is a challenge for formal technique...
International audienceThe verification of distributed algorithms is a challenge for formal technique...
Distributed protocols, typically expressed as stateful agents communicating asynchronously over buff...
Abstract — In distributed applications, software components embedded in the communication protocols ...
We report on recent research lines related to parameterized verification and model checking applied ...
We present a new approach, certified program models, to establish correctness of distributed protoco...
Dependable distributed system typically utilize a hierarchy of protocols to provide for reliable and...
In this paper we consider the frameworks of Process Al-gebra and I/O Automata and we apply both towa...
Communication protocol design consists essentially of the construction of interacting protocol entit...
As computers become faster and more powerful, distributed systems and their communication protocols ...
Distributed systems are rarely developed as monolithic programs. Instead, like any software, these s...
Distributed agreement-based systems use common distributed agreement protocols such as leader electi...
The problem of designing a correct real-time protocol is a challenging task and has led researchers ...