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

[tlaplus] TLA+ specifications request for project

Hi everyone,

I am a final year undergraduate computer science student working on TLA+ specification clones analysis as my final year project. I am searching for more TLA+ specifications to analysis. I have gathered specifications from https://github.com/tlaplus/Examples. It would be my great pleasure if you have and/or are willing to share specifications you know and/or created. 

If you have any questions related to me, the project or how I will be using the specifications, please let me know and I am more than happy to answer them all. 

Thanks for your time.

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/a4901d67-ed3d-4e12-a72f-0e27d8583242n%40googlegroups.com.