3 ms·
I smell vaporware. Formal verification is easy on easy stuff like simple functions - complex functions it might be impossible. Then you most likely will get bun
by ozim 10mo ago
I smell vaporware. Formal verification is easy on easy stuff like simple functions - complex functions it might be impossible. Then you most likely will get bunch of snake oil salesmen promising that you can verify full system…
- NlightNFotis 10mo agoWhat is a complex function to you, and why do you think it’s impossible to verify properties of them?