Automatic Verification of a Class of Symmetric Parallel Programs.

Boleslaw K. Szymanski José M. Vidal

Published in: IFIP Congress (1) (1994)

Keyphrases

class labels
parallel processing
high level programming language
data sets
website
parallel computing
computer programs
automatic programming