A review of specification and verification methods for parallel programs including the dataflow approach.

Akshay K. Deshpande Krishna M. Kavi

Published in: Proc. IEEE (1989)

Keyphrases

significant improvement
machine learning methods
formal verification
preprocessing
model checking
formal methods
genetic algorithm
recommender systems
data mining techniques
machine learning algorithms
qualitative and quantitative
control flow