Black-box verification involves verification of a module through its specifications alone, don't care
by which mean the specifications(functions) are implementation;
While the white(glass) box verification involves verification a module's internal implementation structure exhaustively;
for the grey box verification , it's the mix of black box and white box.