[tlaplus] Re: TLA+ specifications request for project

[Ognjen Maric <ognjen.maric@xxxxxxxxx>]

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

On Friday, December 1, 2023 at 11:46:26 AM UTC+1 Shun Le Yi Mon wrote:

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/52556f6a-acf4-4f4c-be0c-1d87db30ae7dn%40googlegroups.com.