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

[Daniel <daniel.t.stachnik@xxxxxxxxx>]

Hi David,

have you checked out the awesome-tlaplus repo? It contains a list of university lectures using TLA+. Some of them contain exercises which you could do :)

Generally, distributed systems lectures often contain classic problems. Some of them are the two generals problem, leading to the byzantine generals problem, the river crossing puzzle, or the dining philosophers problem. 

You could try to model those in TLA+. Specs already exist online for all of them, so it's easy to compare your spec to others.

On Thursday, November 23, 2023 at 11:08:25 a.m. UTC+1 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/a7523836-fc06-4e46-8e59-2afd281cac3en%40googlegroups.com.