Verifying Woodworking Machinery