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

Re: [tlaplus] Teaching TLA+ How?

Hi Ovidiu,

check out https://github.com/tlaplus/awesome-tlaplus#university-courses-teaching-with-tla

Shameless plug, my workshop material is available online [1] under a permissive license. Note, though, that it targets industrial users. 


[1] https://github.com/tlaplus-workshops/ewd998

> On Oct 12, 2022, at 1:13 PM, ovidiu...@xxxxxxxxx <ovidiu21marcu@xxxxxxxxx> wrote:
> Hello,
> Looking to teach TLA+ at the university for college/master students are there any available courses online?
> I was only able to find this conversation https://discuss.tlapl.us/msg02777.html
> I am also aware of available resources like
> https://lamport.azurewebsites.net/tla/tla.html
> http://lamport.azurewebsites.net/video/videos.html
> Thanks,
> Ovidiu Marcu

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/6B0AADD8-93CE-45EE-956C-A8B378F150A7%40lemmster.de.