Verification system for partial correctness of communicating sequential processes.

Masaki Murakami Yasuyoshi Inagaki

Published in: Systems and Computers in Japan (1986)

Keyphrases

communication channels
formal verification
image processing
process model
model checking
formal analysis
concurrent systems
real time
data mining
genetic algorithm
decision trees
probability distribution
stochastic processes
person identification
verification method