Modeling and verifying multi-core programs

DOI10.1007/978-3-319-71147-8_36MaRDI QIDQ1708646zbMATH OpenOpenAlexFDO

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

Publication date 26 March 2018

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

zbMATH Keywords

multi-coreparallelformal methodoperational semantics

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)

Recommendations

• An axiomatization for cylinder computation model
• A cylinder computation model for many-core parallel computing
• A Semantic Model for Many-Core Parallel Computing
• Model checking concurrent programs
• Model checking of concurrent algorithms: from Java to C

Cited in

(4)

• Modeling and verification of processes scheduling based on projection temporal logic for multi-core CPUs
• Synthesizing and verifying multicore parallelism in categories of nested code graphs
• Bridging the gap between single- and multi-model predictive runtime verification
• An axiomatization for cylinder computation model

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1708646)