Onor.io
Has anyone working with Elixir used TLA+ to model their code? It seems as if it’d be a very natural fit and I am curious if anyone has any feedback on that combination.
Where Next?
Trending in Questions
Other Trending Topics
Latest on Elixir Forum
Sponsor Spotlight
At WyeWorks, we believe great software is built by combining technical excellence with genuine human connection
Categories:
Sub Categories:
Forums
Popular Tags
- #ecto
- #liveview
- #troubleshooting
- #learning-elixir
- #library
- #deployment
- #erlang
- #testing
- #genserver
- #mix
- #absinthe
- #remote-other
- #otp
- #plug
- #how-to-question
- #macros
- #postgres
- #elixirconf
- #channels
- #exunit
- #discussion
- #code-sync
- #podcasts
- #javascript
- #onsite
- #dialyzer
- #docker
- #authentication
- #umbrella
- #full-time-contract
- #podcasts-by-brainlid
- #ecto-query
- #ai
- #elixirconf-us
- #blog-post
- #elixir-ls
- #phoenix_html
- #iex
- #graphql
- #genstage
- #websockets
- #supervisor
- #advent-of-code
- #distillery
- #processes
- #api
- #forms
- #elixirconf-eu
- #metaprogramming
- #hex
Our Sponsors
Build Elixir applications with speed and confidence.
Supporting innovation across the BEAM ecosystem.
We build reliable cloud platforms for business-critical systems.
Error tracking, logs, uptime, and Just Enough APM. Built for developers.
Elixir, Erlang & BEAM conferences from Code Sync - join us in 2026!
Master modern tools, write cleaner code, and tackle real-world challenges.
**Building the future of software with AI, trust, and human connection.**
The deployment platform built for Elixir: PaaS ease, VPS control.
The team behind Membrane, Popcorn, LiveDebugger. Available for hire.
Courses that'll move you from confusion to "Aha, now I get it!"
First Post!- Show Best Posts
- Show All (oldest first)
- Show All (newest first)
webuhu
I did quite a lot in JavaScript based on → sam.js.org
But never had the desire to try within Elixir.
So I’m also curious if anyone does?
Most Liked
axelson
I am not, but this an area that I am interested in! Just haven’t had enough time to dig into it yet.
wolf4earth
I’m in the same boat, definitely a field I’m interested in but never had the use-case where I thought: now I’m gonna dig in!
Onor.io
I’m not sure what you mean by “update”? If you’re interested in trying to use TLA+ in conjunction with Elixir it’s sort of DIY and I don’t think that will change any time soon given that TLA+ only builds models not code.
Last Post!
apoorv-2204
I want to carry out testing for GitHub - archethic-foundation/archethic-node: Official Archethic Blockchain node, written in Elixir.
A public blockchain, I am looking to test Gen-state machines for custom consensus, as there are too many flow/situations to handle.
What will you all, will recommend to me?