3 ms·If I wanted to learn formal verification methods like he describes, can anyone recommend where to start?by hackerbabz 6y agoIf I wanted to learn formal verification methods like he describes, can anyone recommend where to start?