Automatic Verification of Determinism for Structured Parallel Programs

DOI10.1007/978-3-642-15769-1_28zbMath1306.68037OpenAlexW1584993430MaRDI QIDQ4930747

Eran Yahav, Martin Vechev, Raghavan Raman, Vivek Sarkar

Publication date: 1 October 2010

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15769-1_28

Mathematics Subject Classification ID

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

Related Items (2)

From non-preemptive to preemptive scheduling using synchronization synthesis ⋮ Denotational fixed-point semantics for constructive scheduling of synchronous concurrency

Uses Software

• Apron
• Eraser
• Interproc
• Soot
• SingleTrack
• Octagon

This page was built for publication: Automatic Verification of Determinism for Structured Parallel Programs