Formal methods can let you run your design through a checker that will prove it's correct. Hillel Wayne has blog posts, talks, and a book (https://www.apress.co

Formal methods can let you run your design through a checker that will prove it's correct. Hillel Wayne has blog posts, talks, and a book (https://www.apress.com/us/book/9781484238288 https://www.apress.com/us/book/9781484238288) about this: https://www.hillelwayne.com/ https://www.hillelwayne.com/ Some services at AWS have been designed this way: https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf https://lamport.azurewebsites.net/tla/formal-methods-amazon....