Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools

Yumeng He, Chandrakana Nandi, Sreepathi Pai

The computational fabrication pipeline for 3D printing is much like a compiler - users design models in Computer Aided Design (CAD) tools that are lowered to polygon meshes to be u…