Quasi-optimal partial order reduction

DOI10.1007/978-3-319-96142-2_22zbMath1511.68183arXiv1802.03950OpenAlexW2963322207MaRDI QIDQ6043165

Huyen T. T. Nguyen, César Rodríguez, Laure Petrucci, Marcelo S. Sousa, Camille Coti

Publication date: 5 May 2023

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1802.03950

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Stateless model checking under a reads-value-from equivalence ⋮ Unfolding-based dynamic partial order reduction of asynchronous distributed programs ⋮ Preface of the special issue on the conference on computer-aided verification 2018 ⋮ Quasi-optimal partial order reduction

This page was built for publication: Quasi-optimal partial order reduction