Reordering control approaches to state explosion in model checking with memory consistency models

DOI10.1007/978-3-319-72308-2_11zbMath1403.68120OpenAlexW2773729624MaRDI QIDQ1630041

Tatsuya Abe, Toshiyuki Maeda, Tomoharu Ugawa

Publication date: 7 December 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-72308-2_11

zbMATH Keywords

state explosionsoftware model checkingconcurrent program examinationinstruction reordering controlrelaxed memory consistency model

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Reordering control approaches to state explosion in model checking with memory consistency models