Parameterized verification under TSO is PSPACE-complete

Parosh Aziz Abdulla; Mohamed Faouzi Atig; Rojin Rezvan

doi:10.1145/3371094

Parameterized verification under TSO is PSPACE-complete

Proceedings of the ACM on Programming Languages ◽

10.1145/3371094 ◽

2020 ◽

Vol 4 (POPL) ◽

pp. 1-29 ◽

Cited By ~ 1

Author(s):

Parosh Aziz Abdulla ◽

Mohamed Faouzi Atig ◽

Rojin Rezvan

Keyword(s):

Parameterized Verification

Parameterized verification of open procedural programs

Proceedings of the Fifth Balkan Conference in Informatics on - BCI '12 ◽

10.1145/2371316.2371352 ◽

2012 ◽

Author(s):

Aleksandar S. Dimovski

Keyword(s):

Parameterized Verification

An Automatic Proving Approach to Parameterized Verification

ACM Transactions on Computational Logic ◽

10.1145/3232164 ◽

2018 ◽

Vol 19 (4) ◽

pp. 1-25 ◽

Cited By ~ 3

Author(s):

Yongjian Li ◽

Kaiqiang Duan ◽

David N. Jansen ◽

Jun Pang ◽

Lijun Zhang ◽

...

Keyword(s):

Parameterized Verification

Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks

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

10.1007/978-3-319-89963-3_3 ◽

2018 ◽

pp. 38-54 ◽

Cited By ~ 2

Author(s):

A. R. Balasubramanian ◽

Nathalie Bertrand ◽

Nicolas Markey

Keyword(s):

Broadcast Networks ◽

Parameterized Verification

Parameterized verification of algorithms for oblivious robots on a ring

2017 Formal Methods in Computer Aided Design (FMCAD) ◽

10.23919/fmcad.2017.8102262 ◽

2017 ◽

Cited By ~ 6

Author(s):

Arnaud Sangnier ◽

Nathalie Sznajder ◽

Maria Potop-Butucaru ◽

Sebastien Tixeuil

Keyword(s):

Parameterized Verification

Going with the Flow: Parameterized Verification Using Message Flows

2008 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2008.ecp.14 ◽

2008 ◽

Cited By ~ 29

Author(s):

Murali Talupur ◽

Mark R. Tuttle

Keyword(s):

Parameterized Verification

A Learning-Based Framework for Automatic Parameterized Verification

2019 IEEE 37th International Conference on Computer Design (ICCD) ◽

10.1109/iccd46524.2019.00070 ◽

2019 ◽

Cited By ~ 1

Author(s):

Yongjian Li ◽

Jialun Cao ◽

Jun Pang

Keyword(s):

Parameterized Verification

Parameterized verification of monotone information systems

Formal Aspects of Computing ◽

10.1007/s00165-018-0460-8 ◽

2018 ◽

Vol 30 (3-4) ◽

pp. 463-489

Author(s):

Raphaël Chane-Yack-Fa ◽

Marc Frappier ◽

Amel Mammar ◽

Alain Finkel

Keyword(s):

Information Systems ◽

Parameterized Verification

A unified view of parameterized verification of abstract models of broadcast communication

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-016-0412-7 ◽

2016 ◽

Vol 18 (5) ◽

pp. 475-493 ◽

Cited By ~ 4

Author(s):

Giorgio Delzanno

Keyword(s):

Broadcast Communication ◽

Parameterized Verification ◽

Unified View

Parameterized Verification of Track Topology Aggregation Protocols

Formal Techniques for Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38592-6_4 ◽

2013 ◽

pp. 35-49 ◽

Cited By ~ 1

Author(s):

Sergio Feo-Arenis ◽

Bernd Westphal

Keyword(s):

Parameterized Verification ◽

Topology Aggregation

Parameterized Verification of π-Calculus Systems

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

10.1007/11691372_3 ◽

2006 ◽

pp. 42-57 ◽

Cited By ~ 5

Author(s):

Ping Yang ◽

Samik Basu ◽

C. R. Ramakrishnan

Keyword(s):

Parameterized Verification ◽

Π Calculus