23 citations
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…