everythingopen, Continuing our #EverythingOpen schedule highlights, we present @croy, Senior Software Engineer at the Australian #Synchrotron, who will talk about Temporal Logic of Actions (#TLA+), a specification language that allows for mathematical #verification of #complex, #concurrent and #distributed #systems.
Schedule 🔜
Registrations now open:
https://2024.everythingopen.au/news/registrations-open/
Add comment