everythingopen, 3 months ago to random 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/
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/