verification
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Kry10 - a robust and secure OS for the IoT, based on seL4 and the Elixir stack | 12 | 1640 | March 19, 2023 | |
Verifying properties of a financial contract in Elixir | 5 | 1822 | June 12, 2022 |
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Kry10 - a robust and secure OS for the IoT, based on seL4 and the Elixir stack | 12 | 1640 | March 19, 2023 | |
Verifying properties of a financial contract in Elixir | 5 | 1822 | June 12, 2022 |