Yep agree. It’s a great way to write solid software. You can do something similar even when not using formal methods: Start by writing the skeleton of the comp

Yep agree. It’s a great way to write solid software. You can do something similar even when not using formal methods: Start by writing the skeleton of the complete application. By “skeleton” I mean all interfaces implemented with placeholder all-in-memory code. And then step-by-step refine the whole application until it is done. It works great!