loamaa
Joined 11 years ago
Karma
8
Submissions
3
Member since
Nov 4
Joined 11 years ago
I believe finite state modeling is used at NASA, A google search brings up a few references (that I'm probably not qualified to speak to), and I also remember hearing/reading a lecture on how they use them to make completely verifiable programs but can't find the exact one at the moment.
https://gist.github.com/rzwiefel/4527d40de25a7fd5a723016fbd4...
[1] https://www.courtlistener.com/docket/8228342/parties/united-...