scientific article; zbMATH DE number 6533780

zbMATH Open1340.68017MaRDI QIDQ3465202FDOQ3465202

Authors: T. V. Panchenko 

Publication date: 20 January 2016

Title of this publication is not available (Why is that?)

Recommendations

• A proof technique for parallel programs
• Parallel algorithms and correctness in parallel programs
• Verification of correctness of parallel algorithms in practice
• Publication:4733386
• 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

zbMATH Keywords

concurrent programssoftware correctnesscomposition-nominative methods

Mathematics Subject Classification ID

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

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)