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

[tlaplus] TLA+/PlusCal generators from source code

I'm writing a master's thesis about generating TLA+ specifications from Elixir source code. I'm currently doing a literature analysis but having trouble finding any information about existing tools that would convert the source code to the TLA+ specification - I only find the tools that generate the source code from specs.

Maybe you know any tools with this functionality?


The content of this email, including all attachments, is confidential. If you are not the intended recipient, please notify us immediately and delete this email. Any disclosure, copying, distribution or any other use of its content is strictly prohibited.

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/41889525-ead1-4c99-870b-547e6aefe6e6n%40googlegroups.com.