Saturday |
| |
Why we should use Free and Open Source Software for safety applications |
Safety and Open Source |
10:00 |
10:45 |
| |
Adding contracts to the GCC GNAT Ada standard libraries
to strengthen analysis provided by formal verification tools |
Safety and Open Source |
11:00 |
11:30 |
| |
Document security and digital signatures in PDF |
Safety and Open Source |
11:45 |
12:45 |
| |
Proving heap-manipulating programs with SPARK
The SPARK open-source proof tool for Ada now supports verifying pointer-based algorithms thanks to an ownership policy inspired by Rust |
Safety and Open Source |
13:30 |
14:30 |
| |
ELISA - Advancing Open Source Safety-Critical Systems |
Safety and Open Source |
14:45 |
15:45 |
| |
Community Discussion: Safety and Open Source |
Safety and Open Source |
16:00 |
17:00 |