Constrained dynamic partial order reduction

DOI10.1007/978-3-319-96142-2_24zbMath1511.68178MaRDI QIDQ6043167

Albert Rubio, Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel

Publication date: 5 May 2023

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

Mathematics Subject Classification ID

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 (3)

Unfolding-based dynamic partial order reduction of asynchronous distributed programs ⋮ Actor-based model checking for software-defined networks ⋮ Using automated reasoning techniques for enhancing the efficiency and security of (Ethereum) smart contracts

This page was built for publication: Constrained dynamic partial order reduction