Re: [tlaplus] Teaching TLA+ How?

On Friday, October 14, 2022 at 3:00:31 AM UTC-4 ovidiu...@xxxxxxxxx wrote:

Thanks!

On Thursday, October 13, 2022 at 10:05:02 AM UTC+2 Chris Jensen wrote:

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-go...@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 <ovidiu...@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+u...@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/6B0AADD8-93CE-45EE-956C-A8B378F150A7%40lemmster.de.