If you want to go further, you might be interested by proving your software and formal method, something like the B-Method ; https://en.wikipedia.org/wiki/B-Method

Unfortunately, I only know their name and never use it.