Onor.io
TLA+ With Elixir
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.
First Post!
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?
Popular in Questions
Other popular topics
Latest on Elixir Forum
Sponsor Spotlight
Courses that'll move you from confusion to "Aha, now I get it!"
Categories:
Sub Categories:
Forums
Popular Tags
- #ecto
- #liveview
- #troubleshooting
- #learning-elixir
- #deployment
- #library
- #erlang
- #testing
- #genserver
- #mix
- #absinthe
- #remote-other
- #otp
- #plug
- #how-to-question
- #macros
- #postgres
- #channels
- #elixirconf
- #exunit
- #discussion
- #code-sync
- #javascript
- #podcasts
- #onsite
- #dialyzer
- #docker
- #authentication
- #umbrella
- #full-time-contract
- #podcasts-by-brainlid
- #ecto-query
- #elixir-ls
- #phoenix_html
- #iex
- #blog-post
- #graphql
- #genstage
- #ai
- #websockets
- #supervisor
- #elixirconf-us
- #advent-of-code
- #distillery
- #processes
- #api
- #forms
- #metaprogramming
- #security
- #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.
Catch errors, track performance, monitor hosts and more.
Error tracking for Elixir devs who love to ship. Start your free account.
Develop your skills with books, videos, and courses.
Producing high quality Elixir screencasts since 2017.
Enabling companies to succeed by building software people love.
The team behind Membrane, Popcorn, LiveDebugger. Available for hire.
Courses that'll move you from confusion to "Aha, now I get it!"