3 ms·
Just a nitpick: Property testing is nowhere near the level of assurance that model checking provides.
by kachnuv_ocasek 7y ago
Just a nitpick: Property testing is nowhere near the level of assurance that model checking provides.
- QuinnWilton 7y agoAbsolutely! Which is why I'd love to incorporate actual model checking into my work. I said that I make use of some level of model checking, but what I really meant was that I make use of a poor approximation of it. Edit: I was convinced later in the thread that this isn't a fair comparison :)