Bytecode based architecture verification