3 ms·
Lamport also created TLA+, which will happily tell you what and where your algorithm is broken, assuming you model it. So the speed of iteration will be greatly
by withinboredom 5y ago
Lamport also created TLA+, which will happily tell you what and where your algorithm is broken, assuming you model it. So the speed of iteration will be greatly increased.