scientific article

zbMATH Open1340.68017MaRDI QIDQ3465202

T. V. Panchenko

Publication date: 20 January 2016

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

zbMATH Keywords

concurrent programssoftware correctnesscomposition-nominative methods

Mathematics Subject Classification ID

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

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• A proof technique for parallel programs 👍 👎
• A survey of verification techniques for parallel programs 👍 👎
• Parallel algorithms and correctness in parallel programs 👍 👎
• On the correctness of parallel algorithms 👍 👎
• Verification of Correctness of Parallel Algorithms in Practice 👍 👎
• Abstract state machines capture parallel algorithms 👍 👎

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)