You can use something like this with Ada/SPARK programing language https://wikibook-ada.sourceforge.net/samples/pragmas_restric...