[tlaplus] Re: TLA+ specifications request for project

[Shun Le Yi Mon <shunleyimon724@xxxxxxxxx>]

I am looking for all kinds of specifications. My project involves identifying, analysing and evaluating code clones from all kinds of TLA+ specifications.

On Wednesday, November 29, 2023 at 6:24:15 PM UTC Andrew Helwer wrote:

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/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/99ff52bc-565f-4600-8651-3d9c3e1daccdn%40googlegroups.com.