Verification of tool collision Is an important issue in die and mold machining. In this paper three functions of verification for 3-axis milling machining are schematically explained. Operators of geometric models are explained at first, which will be used in the functions of verification. The first verification function is getting a collision-free region when a tool assembly and a part surface model are given. The second function estimates the shortest length of cutter shank with that the tool cuts all of a region without collision The last one is cutting simulation considering all parts of tool assembly as well as cutter blade. Proposed approaches can be easily implemented by using several basic operators of geometric model. An example to calculate collision-free region is presented also.