Modeling and verifying multi-core programs

DOI10.1007/978-3-319-71147-8_36zbMath1474.68196OpenAlexW2768098132MaRDI QIDQ1708646

Kai Yang, Nan Zhang, Cong Tian, Zhenhua Duan, Hongwei David Du

Publication date: 26 March 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-71147-8_36

zbMATH Keywords

operational semanticsparallelmulti-coreformal method

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Modeling and verifying multi-core programs