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

[tlaplus] Re: Practice questions and answers for TLA+



Thank you so much Ryan Worsley, this was really helpful. I'll check them out.

On Thursday, November 23, 2023 at 1:53:56 PM UTC+1 Ryan Worsley wrote:
Not exactly what you're looking for, but Jack and Murat's blogs both have interesting TLA exercises you can do and follow along with. I'm sure others here will have some fine links to undergraduate courses with exercises though.

On Thursday, 23 November 2023 at 10:08:25 UTC David Ajaba wrote:
Hi Everyone, I'm new here. 😅 So please, pardon my question if this question has been asked before. And please, if it has been asked, please kindly leave a link to the question please.

But, as you may have guessed, I'm new to TLA+ and I'm trying to find my way around it to better understand the formal language and proceed to designing Distributed Systems using my new found knowledge. But I'd like to practice what I've learned before building an real world systems, because I'm in this in between state of "I understand, but I'm not sure I fully understand". Please are there any resources to practice questions and answers I can use to jump right in and attempt to solve challenges (hopefully beginner friendly), break things and learn on the go?

By the way, I recommend https://www.youtube.com/playlist?list=PLWAv2Etpa7AOAwkreYImYt0gIpOdWQevD to learn TLA+ from Dr. Leslie Lamport himself.

--
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/4580bccd-681e-4a7e-9b08-959d43c113e1n%40googlegroups.com.