TLA+: The best debugger/ optimizer you’ve never heard of

An article on The New Stack, a media platform for people who build and manage software the world relies on, quotes Murat Demirbas, professor in the Department of Computer Science and Engineering, in a story about formal specification language TLA+.

Demirbas tested TLA+ in a class he taught at UB on distributed systems and found the language useful. Even though the learning curve was steep, “The students liked TLA+ since it gave them a way to experiment and supported them in reasoning about the algorithms.”

Read the story here.