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 ◽

Author(s):

Igor Konnov ◽

Helmut Veith ◽

Josef Widder

Keyword(s):

Model Checking ◽

Distributed Algorithms ◽

Parameterized Model

Download Full-text

Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms

Lecture Notes in Computer Science - Formal Methods for Executable Software Models ◽

10.1007/978-3-319-07317-0_4 ◽

2014 ◽

pp. 122-171 ◽

Author(s):

Annu Gmeiner ◽

Igor Konnov ◽

Ulrich Schmid ◽

Helmut Veith ◽

Josef Widder

Keyword(s):

Model Checking ◽

Distributed Algorithms ◽

Fault Tolerant ◽

Parameterized Model

Download Full-text

Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction

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

10.1007/978-3-319-73721-8_1 ◽

2017 ◽

pp. 1-24 ◽

Author(s):

Benjamin Aminof ◽

Sasha Rubin ◽

Ilina Stoilkovska ◽

Josef Widder ◽

Florian Zuleger

Keyword(s):

Model Checking ◽

Distributed Algorithms ◽

Parameterized Model

Download Full-text

Parameterized model checking of fault-tolerant distributed algorithms by abstraction

2013 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2013.6679411 ◽

2013 ◽

Author(s):

Annu John ◽

Igor Konnov ◽

Ulrich Schmid ◽

Helmut Veith ◽

Josef Widder

Keyword(s):

Model Checking ◽

Distributed Algorithms ◽

Fault Tolerant ◽

Parameterized Model

Download Full-text

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

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 ◽

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 ◽

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 ◽

Author(s):

Luca Spalazzi ◽

Francesco Spegni

Keyword(s):

Model Checking ◽

Timed Automata ◽

Parameterized Model

Download Full-text

What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-319-41579-6_2 ◽

2016 ◽

pp. 6-21 ◽

Author(s):

Igor Konnov ◽

Helmut Veith ◽

Josef Widder

Keyword(s):

Model Checking ◽

Distributed Algorithms ◽

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 ◽

Author(s):

Jesse Bingham

Keyword(s):

Model Checking ◽

Parameterized Model

Download Full-text