Symbolic Model Checking for TLA+ Made Faster

Rodrigo Otoni, Igor Konnov, Jure Kukovec, Patrick Eugster, Natasha Sharygina
January 2023
Cite DOI URL
Type
1
Publication
29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023)