Re:Using TLA+ to Model Cascading Failures
by polskibus on Thursday April 11, 2019 @03:15PM
(#19638147)
Akka has testkit and multi node testkit which you can use to test such systems. If you need to explore state space, you can use data driven and or combinatorial testing attributes from *unit libraries.
[ Parent
| on HN ]
TLA+ and any kind of testing serve different purposes. I don't know how good of an analogy this is, but tests are more like strength tests on a structure, while a TLA+ is like a blueprint.