3 ms·
May I ask where you work? Leslie Lamport has been asking around for examples of companies using TLA+ internally; he'd be interested in hearing your story.
by hwayne 5y ago
May I ask where you work? Leslie Lamport has been asking around for examples of companies using TLA+ internally; he'd be interested in hearing your story.