Compositional Proof Methods for Concurrency: A Semantic Approach.

Frank S. de Boer Willem P. de Roever

Published in: COMPOS (1997)

Keyphrases

data mining
neural network
artificial intelligence
benchmark datasets
qualitative and quantitative
theorem prover
preprocessing
significant improvement
computational cost
domain specific
empirical studies