On Wednesday, November 29, 2023 at 11:03:16 AM UTC-5 Shun Le Yi Mon wrote:
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.