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

[tlaplus] Re: TLA+ specifications request for project



What sort of specifications are you looking for? What is clones analysis?

Andrew

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/ExamplesIt 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/35fd73cc-b707-4f72-9823-404dfb2d5d7en%40googlegroups.com.