Re: [tlaplus] Teaching TLA+ How?

["'Chris Jensen' via tlaplus" <tlaplus@xxxxxxxxxxxxxxxx>]

I've also used this example:

https://github.com/Cjen1/tla_increment

To demo most of the features of tla+ and where it can be used.

On 12 October 2022 22:51:49 BST, Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx> wrote:

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. 

Markus

[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.

-- 
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/BCED10D4-9C91-4A14-915A-578E22E9B922%40aol.com.