12 citations · 12 across the 1 of their papers we have counts for
1 paper · 1 filter
Igor Konnov, Markus Kuppe, Stephan Merz
Using an algorithm due to Safra for distributed termination detection as a running example, we present the main tools for verifying specifications written in TLA+. Examining their…