TY  - JOUR
AU  - Albert Albiol, Elvira María
AU  - Garcia de la Banda, María
AU  - Isabel Márquez, Miguel
AU  - Stuckey, Peter J.
AU  - Gómez-Zamalloa Gil, Miguel
PY  - 2023
DO  - doi.org/10.1016/j.jss.2023.111730
UR  - https://hdl.handle.net/20.500.14352/98447
T2  - Journal of Systems and Software
AB  - Dynamic Partial Order Reduction (DPOR) algorithms are used in stateless model checking of concurrent programs to avoid the exploration of equivalent execution sequences. In order to detect equivalence, DPOR relies on the notion of independence between...
LA  - eng
PB  - Elsevier
KW  - Software verification
KW  - Concurrent programs
KW  - Stateless model checking
KW  - Partial order reduction
TI  - Optimal dynamic partial order reduction with context-sensitive independence and observers
TY  - journal article
VL  - 202
ER  -