Formal verification is an really interesting and challenging field but it's worth commenting that it is very expensive and time consuming. It generally only mak

Formal verification is an really interesting and challenging field but it's worth commenting that it is very expensive and time consuming. It generally only makes sense right now when bugs can cause serious damage.