Re: [tlaplus] TLA+ for parser correctness

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

"Code for network protocol messages" is a bit vague, but if your main interest lies in securely parsing data transmitted over networks, you might find https://project-everest.github.io/everparse/ to be useful.

> On May 11, 2024, at 10:39 PM, moshe kravchik <moshe.kravchik@xxxxxxxxx> wrote:
> 
> 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/21FFE813-5428-4B53-9B17-71E38EE53BA6%40lemmster.de.