Proving Reachability in B using Substitution Refinement.

Marc Frappier Fama Diagne Amel Mammar

Published in: Electron. Notes Theor. Comput. Sci. (2011)

Keyphrases

transitive closure
state space
neural network
feature extraction
query refinement
e learning
multiscale
lower bound
pairwise
color images
refinement process
step wise
refinement step