An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-54577-5_2 ◽

2017 ◽

pp. 23-40

Author(s):

Ocan Sankur ◽

Jean-Pierre Talpin

Keyword(s):

Model Checking ◽

Leader Election ◽

Parameterized Model

Download Full-text

Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption

Analytical and Stochastic Modeling Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13568-2_18 ◽

2010 ◽

pp. 247-261 ◽

Cited By ~ 2

Author(s):

Haidi Yue ◽

Joost-Pieter Katoen

Keyword(s):

Energy Consumption ◽

Model Checking ◽

Radio Networks ◽

Leader Election

Download Full-text

SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21690-4_6 ◽

2015 ◽

pp. 85-102 ◽

Cited By ~ 18

Author(s):

Igor Konnov ◽

Helmut Veith ◽

Josef Widder

Keyword(s):

Model Checking ◽

Distributed Algorithms ◽

Parameterized Model

Download Full-text

Parameterized Model-Checking of Timed Systems with Conjunctive Guards

Verified Software: Theories, Tools and Experiments - Lecture Notes in Computer Science ◽

10.1007/978-3-319-12154-3_15 ◽

2014 ◽

pp. 235-251 ◽

Cited By ~ 6

Author(s):

Luca Spalazzi ◽

Francesco Spegni

Keyword(s):

Model Checking ◽

Timed Systems ◽

Parameterized Model

Download Full-text

Parameterized Model Checking of Fine Grained Concurrency

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31759-0_15 ◽

2012 ◽

pp. 208-226 ◽

Cited By ~ 3

Author(s):

Divjyot Sethi ◽

Muralidhar Talupur ◽

Daniel Schwartz-Narbonne ◽

Sharad Malik

Keyword(s):

Model Checking ◽

Fine Grained ◽

Parameterized Model

Download Full-text

Parameterized model checking of networks of timed automata with Boolean guards

Theoretical Computer Science ◽

10.1016/j.tcs.2019.12.026 ◽

2020 ◽

Vol 813 ◽

pp. 248-269 ◽

Cited By ~ 1

Author(s):

Luca Spalazzi ◽

Francesco Spegni

Keyword(s):

Model Checking ◽

Timed Automata ◽

Parameterized Model

Download Full-text

Analyzing Eventual Leader Election Protocols for Dynamic Systems by Probabilistic Model Checking

Cloud Computing and Security - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27051-7_17 ◽

2015 ◽

pp. 192-205 ◽

Cited By ~ 2

Author(s):

Jiayi Gu ◽

Yu Zhou ◽

Weigang Wu ◽

Taolue Chen

Keyword(s):

Model Checking ◽

Dynamic Systems ◽

Probabilistic Model ◽

Leader Election ◽

Probabilistic Model Checking

Download Full-text

Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-11245-5_19 ◽

2019 ◽

pp. 409-424 ◽

Cited By ~ 1

Author(s):

Étienne André ◽

Laurent Fribourg ◽

Jean-Marc Mota ◽

Romain Soulat

Keyword(s):

Model Checking ◽

Parametric Model ◽

Leader Election ◽

Election Algorithm ◽

Leader Election Algorithm

Download Full-text

On application of weaker simulations to parameterized model checking by network invariants technique

Automatic Control and Computer Sciences ◽

10.3103/s0146411610070035 ◽

2010 ◽

Vol 44 (7) ◽

pp. 378-386

Author(s):

I. V. Konnov

Keyword(s):

Model Checking ◽

Parameterized Model

Download Full-text

Automatic Non-Interference Lemmas for Parameterized Model Checking

2008 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2008.ecp.15 ◽

2008 ◽

Cited By ~ 7

Author(s):

Jesse Bingham

Keyword(s):

Model Checking ◽

Parameterized Model

Download Full-text

On the fixed-parameter tractability of parameterized model-checking problems

Information Processing Letters ◽

10.1016/j.ipl.2007.09.009 ◽

2008 ◽

Vol 106 (1) ◽

pp. 33-36 ◽

Cited By ~ 5

Author(s):

Iain A. Stewart

Keyword(s):

Model Checking ◽

Fixed Parameter Tractability ◽

Fixed Parameter ◽

Parameterized Model

Download Full-text