It's not for everything. But the serious verification techniques should be mandatory in critical infrastructure. Routers, BGP nodes, and firewalls would be a go

It's not for everything. But the serious verification techniques should be mandatory in critical infrastructure. Routers, BGP nodes, and firewalls would be a good place to start. Embedded systems that control important things - train control, power distribution, pipelines, water and sewer. Get those nailed down hard. Diagrams like this scare me.[1] [1] https://new.abb.com/docs/librariesprovider78/eventos/jjtts-2017/presentaciones-peru/(miguel-mendoza)-the-debut-of-the-relion-2-2.pdf https://new.abb.com/docs/librariesprovider78/eventos/jjtts-2...