2 ms·They had real world examples of formally verified code in 1983 too.by throwaway2048 9y agoThey had real world examples of formally verified code in 1983 too.