Symbolic Model Checking for TLA+ Made Faster

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

Add the full text or supplementary notes for the publication here using Markdown formatting.