Re: [tlaplus] Join Today: Monthly TLA+ Community Call

[Ovidiu Marcu <ovidiu21marcu@xxxxxxxxx>]

Hi, all,

I am working on improving and understanding the TLC model checker. I am trying to apply trace validation and extract state machines as TLA+ specs, in addition to making some performance improvements. I hope to give back feedback on this work next weeks. (I do see already potential to get performance improvements ~2x with changes to when/or not/ to compute the invariants checkups). (Unfortunately, I'm not able to join you today).

Ovidiu.

On Tue 10 Nov 2026 at 15:46, Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx> wrote:

Hi everyone,

a friendly reminder that our monthly TLA+ community call is at 8am Pacific! All are welcome to join and share their TLA+-related work with the community.

Zoom: https://zoom-lfx.platform.linuxfoundation.org/meeting/92470634305?password=f70a506f-cc98-4ff8-b34d-8bed26695930

Markus

--
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 visit https://groups.google.com/d/msgid/tlaplus/D3328DD7-26BC-4D5D-BA58-A3DFDF75E17E%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 visit https://groups.google.com/d/msgid/tlaplus/CAGxa7HXo1Fth-hWTsWM6vtZn7oNbuhWbgm_s2LKU3Su4N-s2%3DQ%40mail.gmail.com.