Remove -benchmarking

Thu.Nov 28, 2019

TLA+ model checking made symbolic

The Morning Paper

4 seconds on this same benchmark). TLA+ model checking made symbolic Konnov et al., OOPSLA’19. TLA+ is a formal specification language ( T emporal L ogic of A ctions) particularly well suited to reasoning about distributed algorithms.