PL and Software Verification projects that use TLA+
53 views
Skip to first unread message
Loi Nguyen
Jun 5, 2024, 7:55:59 PMJun 5
to tlaplus
I would like to learn more about research projects related to programming languages (PL) or software verification that utilize TLA+. I am particularly interested in understanding how TLA+ has been applied in these domains.
If you could provide any information or direct me to relevant resources or publications, I would greatly appreciate it.
If you could provide any information or direct me to relevant resources or publications, I would greatly appreciate it.
Reply all
Reply to author
Forward
0 new messages