A Survey of verification techniques for parallel programs
Tallennettuna:
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Livre numérique |
| Kieli: | Anglais |
| Julkaistu: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Sarja: | Lecture notes in computer science
191 |
| Aiheet: | |
| Linkit: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Huomautus: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • A Survey of verification techniques for parallel programs, Howard Barringer, Berlin, Springer, 1985, 1 Vol. (VI-114 p.), Lecture notes in computer science, 3-540-15239-3 • A Survey of Verification Techniques for Parallel Programs, Texte imprimé, 9783662183021 |
Sisällysluettelo:
- 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.