Formal Methods for Parallel Programming: Theory and Applications

IPDPS 2000 Workshop

A Method for Automatic Cryptographic Protocol Verification
Jean Goubault-Larrecq

Verification Methods for Weaker Shared Memory Consistency Models
Rajnish P. Ghughal; Ganesh C. Gopalakrishnan

Models Supporting Nondeterminism and Probabilistic Choice
Michael Mislove

Concurrent Specification And Timing Analysis of Digital Hardware using SDL
Kenneth J. Turner; F. Javier Argul-Marin; Stephen D. Laing

Incorporating Non-functional Requirements into Software Architectures
Nelson S. Rosa; George R. R. Justo; Paulo R. F. Cunha

Automatic Implementation of Distributed Systems Formal Specifications
Luiz Henrique Castelo Branco; Antonio Francisco do Prado; Wanderley Lopes de Souza; Marcelo Sant'Anna

Refinement based validation of an algorithm for detecting distributed termination
Mamoun Filali; Philippe Mauran; Gérard Padiou; Philippe Quéinnec; Xavier Thirioux

Tutorial 1 : Abstraction and Refinement of Concurrent Programs and Formal Specification A Practical View
Dominique Cansell; Dominique Méry; Christophe Tabacznyj

Tutorial 2: A Foundation for Composing Concurrent Objects
Jean-Paul Bahsoun