Hacker News new | ask | show | jobs
by andrewcl 1353 days ago
Is there any way to do performance testing with TLA+? I always had the impression that TLA+ could help you validate the design of what you intend to build, but was less helpful if you wanted to see the performance implications of the design.