Proving Properties of PVM Applications - A Case Study with CoCheck.

Jürgen Menden Georg Stellner

Published in: PVM (1996)

Keyphrases

wide range
test bed
case study
databases
structural properties
search algorithm
information technology
evolutionary algorithm
desirable properties
topological properties