A method for modeling swept volume by computing a family of critical curves from a moving solid is considered. A special scan-rendering process that has been developed to convert the swept volume into a 3-D pixel image for subsequent Boolean operations with other models is described. A system for real-time verification of numerical control tool paths using computer graphics, which is based on swept-volume modeling, is presented. Some applications of the system are examined.