Formalizing and checking thread refinement for data-race-free execution models

DOI10.1007/978-3-662-49674-9_30zbMath1420.68072arXiv1510.07171OpenAlexW2321074481MaRDI QIDQ2272925

Daniel Poetzl, Daniel Kroening

Publication date: 17 September 2019

Full work available at URL: https://arxiv.org/abs/1510.07171

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Formalizing and checking thread refinement for data-race-free execution models