5 citations · 5 across the 6 of their papers we have counts for
1 paper · 1 filter
Kseniia Strelbytska, Balázs Szilágyi, Anna Mészáros +1
The TLA+ (temporal logic of actions) formal specification toolkit has seen widespread adoption in modeling modern distributed software systems including databases, storage systems,…