[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] PL and Software Verification projects that use TLA+

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.

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/a00b58c3-44e3-4ba6-ba25-3f60c2d8f1f4n%40googlegroups.com.