TLA+ model checking made symbolic

Re:TLA+ model checking made symbolic by kachnuv_ocasek on Friday November 29, 2019 @04:24AM (#21663189)

Just a nitpick: Property testing is nowhere near the level of assurance that model checking provides.

[ Parent | on HN ]

Re:TLA+ model checking made symbolic by QuinnWilton on Friday November 29, 2019 @03:36PM (#21666680)

Absolutely! 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 :)

[ Parent | on HN ]