“not x21 and x96 and x15 or not x72 etc and because of that…” — The Pragmatic Engineer at 57:12
“not x21 and x96 and x15 or not x72 etc and because of that most alloy models can be checked in like a few milliseconds or a second. Whereas often for like a large tla plus model you have to basically turn it overnight to go through all hundred million states. Can we talk about smarter tools”
0:00
1:23:42