Parameterized Model Checking on the TSO Weak Memory Model

Sylvain Conchon; David Declerck; Fatiha Zaïdi

doi:10.1007/s10817-020-09565-w

Parameterized Model Checking on the TSO Weak Memory Model

Journal of Automated Reasoning ◽

10.1007/s10817-020-09565-w ◽

2020 ◽

Vol 64 (7) ◽

pp. 1307-1330

Author(s):

Sylvain Conchon ◽

David Declerck ◽

Fatiha Zaïdi

Keyword(s):

Model Checking ◽

Memory Model ◽

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

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

Model Checking of C++ Programs Under the x86-TSO Memory Model

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02450-5_8 ◽

2018 ◽

pp. 124-140 ◽

Cited By ~ 1

Author(s):

Vladimír Štill ◽

Jiří Barnat

Keyword(s):

Model Checking ◽

Memory Model ◽

C Programs

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

UMM: an operational memory model specification framework with integrated model checking capability

Concurrency and Computation Practice and Experience ◽

10.1002/cpe.837 ◽

2005 ◽

Vol 17 (5-6) ◽

pp. 465-487 ◽

Cited By ~ 16

Author(s):

Yue Yang ◽

Ganesh Gopalakrishnan ◽

Gary Lindstrom

Keyword(s):

Model Checking ◽

Integrated Model ◽

Model Specification ◽

Memory Model ◽

Operational Memory

Download Full-text