scientific article; zbMATH DE number 6533780

MaRDI QIDQ3465202zbMATH OpenFDO

Authors T. V. Panchenko

Publication date 20 January 2016

zbMATH Keywords

composition-nominative methodsconcurrent programssoftware correctness

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A proof technique for parallel programs
• Parallel algorithms and correctness in parallel programs
• Verification of correctness of parallel algorithms in practice
• scientific article; zbMATH DE number 4119602
• On the correctness of parallel algorithms
• Abstract state machines capture parallel algorithms: correction and extension
• scientific article; zbMATH DE number 3890706
• A survey of verification techniques for parallel programs

Cited in

(3)

• Concurrent correctness in vector space
• A proof of the correctness of parallel addition to a shared variable in IPCL
• Derivable partial locking for algebraic data types

This page was built for publication:

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