Context-sensitive dynamic partial order reduction

DOI10.1007/978-3-319-63387-9_26zbMath1494.68047OpenAlexW2734336505MaRDI QIDQ2151268

Miguel Gómez-Zamalloa, Puri Arenas, Elvira Albert, Peter J. Stuckey, Maria Garcia de la Banda

Publication date: 1 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-319-63387-9_26

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Global Reproducibility Through Local Control for Distributed Active Objects ⋮ Stateless model checking under a reads-value-from equivalence ⋮ Actor-based model checking for software-defined networks ⋮ SDN-actors: modeling and verification of SDN programs

This page was built for publication: Context-sensitive dynamic partial order reduction