Here's an idea: Verification for computer networks as well as chips and code

What tools are available? What are the benefits? Let's find out

Systems Approach In 1984, artificial intelligence was having a moment. There was enough optimism around it to inspire me to explore the role of AI in chip design for my undergraduate thesis, but there were also early signs that the optimism was unjustified....