Symbolic Model Checking for TLA+ Made Faster.

Rodrigo Otoni, Igor Konnov, Jure Kukovec, Patrick Eugster, Natasha Sharygina

Browse the full TACAS paper archive.