Symbolic Model Checking for TLA+ Made Faster
Additional information
Authors
Sharygina N.,
Otoni R. B.,
Konnov I.,
Kukovec J.,
Eugster P. T.
Type
Article in conference proceedings
Year
2023
Language
English
Meeting name
TACAS 2023
Meeting place
Paris, France
Meeting date
April 22-27, 2023
