Optimal dynamic partial order reduction with context-sensitive independence and observers

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

Abstract: Highlights•Extension of Context-sensitive DPOR to work over Optimal DPOR with wakeup trees.•A new DPOR algorithm that integrates context-sensitive dependency and observers.•Implementation and evaluation of these algorithms within the Nidhugg model checker.