3. Saving results

_images/image8.png

  • “Save As” saves the deformations in a new JSON file. This file is compatible with Nutil Quantifier for QUINT analysis.