Towards a fully automated 3D printability checker
The KeY Platform for Verification and Analysis of Java Programs