Published January 27, 2022
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.”
UB is actively monitoring developments related to COVID-19. Please check with event organizers for the most up-to-date information about scheduled events.
SHARE THE NEWS
Have some news or an event to share with us? Please send it to cse-dept@buffalo.edu.