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

[tlaplus] Research Projects Using TLA+ for PL and Software Verification

I would like to learn about research projects related to programming languages (PL) or software verification that utilize TLA+ for ensuring the correctness of the tool. I am particularly interested in understanding how TLA+ has been applied in these domains and learning more about specific projects that highlight its effectiveness.

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/e46ff6a1-943d-4476-909a-26faf951c762n%40googlegroups.com.