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
Elixir, Erlang & messaging conferences from Code Sync. Next up: ElixirConf US (10–11 Sep) & Code BEAM Europe (21–22 Oct), Haarlem + online.
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.
Catch errors, track performance, monitor hosts and more.
Error tracking, logs, uptime, and Just Enough APM. Built for developers.
Bringing learning, work and compliance together since 1987.
Producing high quality Elixir screencasts since 2017.
**Building the future of software with AI, trust, and human connection.**
The team behind Membrane, Popcorn, LiveDebugger. Available for hire.
Courses that'll move you from confusion to "Aha, now I get it!"
Showing Posts 11 to 2- Show Best Posts
- Show All (oldest first)
- Show All (newest first)
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?
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.
apoorv-2204
IS there any update?
jccf091
I am interested in this subject.
have anyone try this library tla-transmutation before?
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!
axelson
I am not, but this an area that I am interested in! Just haven’t had enough time to dig into it yet.
Onor.io
Ah–thanks for the pointer Shane!
shanesveller
There’s also Quickstrom as a very recent release that is frontend-focused but quite interesting.
shanesveller
I haven’t yet but Hillel Wayne’s Twitter feed is full of bits and bobs about formal verification, as is his blog. I’m frequently tempted, and if I ever contribute to serious distributed-systems work again I will probably dabble a little. IIRC Quinn used Alloy recently rather than TLA, though?
Onor.io
I guess there are two of us interested in the topic. I’ve been tweeting with @QuinnWilton on the subject.