A Survey of Verification Techniques for Parallel Programs - Howard Barringer

A Survey of Verification Techniques for Parallel Programs

Buch | Softcover
VIII, 120 Seiten
1985 | 1985
Springer Berlin (Verlag)
978-3-540-15239-2 (ISBN)
24,60 inkl. MwSt

Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- Barringer & Mearns: Verification of Ada Tasks.- Levin & Gries: Verification of CSP.- Misra & Chandy: Proofs of process networks.- Zhou & Hoare: Correctness of communicating processes.- Conclusions.

Erscheint lt. Verlag 1.5.1985
Reihe/Serie Lecture Notes in Computer Science
Zusatzinfo VIII, 120 p.
Verlagsort Berlin
Sprache englisch
Maße 155 x 235 mm
Gewicht 191 g
Themenwelt Mathematik / Informatik Informatik Programmiersprachen / -werkzeuge
Mathematik / Informatik Informatik Software Entwicklung
Informatik Theorie / Studium Compilerbau
Schlagworte ADA • Development • Network • Networks • Programs • Proof • techniques • verification
ISBN-10 3-540-15239-3 / 3540152393
ISBN-13 978-3-540-15239-2 / 9783540152392
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Grundlagen und Anwendungen

von Hanspeter Mössenböck

Buch | Softcover (2024)
dpunkt (Verlag)
29,90