Latest #verification Threads Top

Rich_Morin
I’ve been watching some videos on Kry10 - a robust and secure OS for the IoT. Because Kry10 is based on the seL4 microkernel, it has a pe...
New
roehst
Hi, I am interested in verifying properties of Elixir code. In particular, I write code for financial institutions and I am exploring if ...
New

This Week's Trending Top

This Month's Trending Top

This Year's Trending Top

Last Three Year's Trending Top

Trending Over Three Years Top

Rich_Morin
I’ve been watching some videos on Kry10 - a robust and secure OS for the IoT. Because Kry10 is based on the seL4 microkernel, it has a pe...
New
roehst
Hi, I am interested in verifying properties of Elixir code. In particular, I write code for financial institutions and I am exploring if ...
New
  • Follow
  • Join
  • Shape
the conversation

Latest on Elixir Forum

Elixir Forum

Similar Portals

    None added yet

We're in Beta

About us Mission Statement