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

[tlaplus] TLA+ for parser correctness

From: moshe kravchik <moshe.kravchik@xxxxxxxxx>
Date: Sat, 11 May 2024 22:39:24 -0700 (PDT)

This is a question to the TLA+ experts. I need to write code for network protocol messages' correctness and validity. I want to make sure I get everything correct. Is TLA+/PlusCal the right tool for the job? Are there any examples of applying it to similar tasks?

--
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/22e98309-b774-4865-8663-7c3f99f6f9aan%40googlegroups.com.

Follow-Ups:
- Re: [tlaplus] TLA+ for parser correctness
  - From: Alex Porter
- Re: [tlaplus] TLA+ for parser correctness
  - From: Markus Kuppe

Prev by Date: Re: [tlaplus] Consensus spec safety in Paxos example
Next by Date: Re: [tlaplus] TLA+ for parser correctness
Previous by thread: Re: [tlaplus] Consensus spec safety in Paxos example
Next by thread: Re: [tlaplus] TLA+ for parser correctness
Index(es):
- Date
- Thread