Saturday |
|
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 |
|
Community Discussion: Safety and Open Source |
Safety and Open Source |
14:45 |
15:45 |