@conference {375, title = {Symbolic Model Checking for TLA+ Made Faster}, booktitle = {TACAS - 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}, year = {2023}, address = {Paris}, url = {https://doi.org/10.1007/978-3-031-30823-9_7}, author = {Rodrigo Otoni and Igor Konnov and Jure Kukovec and Patrick Eugster and Natasha Sharygina} }