An Interleave Principle for Demonstrating concurrent Programs

An Interleave Principle for Demonstrating concurrent Programs

Although they want to know whether their concurrent programs are working properly, programmers may not need a rigorous proof of correctness.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE software 1984-01, Vol.1 (4), p.54-64
Hauptverfasser: Lewis, T.G., Spitz, K.R., McKenney, P.E.
Format: Artikel
Sprache:eng
Schlagworte:
Application software
Computer networks
Concurrent computing
Programming profession
Real time systems
Resource management
Software performance
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Although they want to know whether their concurrent programs are working properly, programmers may not need a rigorous proof of correctness.
ISSN:0740-7459
DOI:10.1109/MS.1984.229462