4 ms·
You could try learning a model checker for concurrent algorithms, like TLA+.
by mbrock 9y ago
You could try learning a model checker for concurrent algorithms, like TLA+.
- yurish 9y agoDo you have experience with it? How hard is it to use TLA+ to solve every-day problems? Are there any other model checkers that worth looking at? Or TLA+ is the most sutable for concurrency problems?