Comment by paxy

Do the agents build the IP networking stack from scratch? What about the operating system? What about the microprocessor? You can’t formally verify everything.