TLA+ specifications request for project

[Shun Le Yi Mon]

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.

[Andrew Helwer]

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

Andrew

[Shun Le Yi Mon]

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

[Ognjen Maric]

if I understand correctly you're looking for TLA specifications and corresponding code that implements them? If so, there's a bunch of TLA models here:
https://github.com/dfinity/tla-models
These model different components of the Internet Computer blockchain. All the corresponding source code is here:
https://github.com/dfinity/ic
Some code is fairly close to the model, for some the model is rather abstract and the code is strewn all over the repository. Also note that for most (though not really all) of these models the code came first, i.e., the verification was post-hoc. I don't know if that fulfills your definition of "clone".

Cheers,
Ognjen

[Shun Le Yi Mon]

I will have a look and find the ones that I can use. Thank you very much for your response.

Many thanks, 

Shun Le Yi Mon