23 citations · 23 across the 1 of their papers we have counts for
1 paper
A. Jesse Jiryu Davis, Max Hirschhorn, Judah Schvimer
Formal modelling is a powerful tool for developing complex systems. At MongoDB, we use TLA+ to model and verify multiple aspects of several systems. Ensuring conformance between a…