Online / 6 & 7 February 2021

schedule

D.safety


Day Start End Track(s)
Saturday 11:00 15:45 Safety and Open Source
09 10 11 12 13 14 15 16 17
Saturday Adding contracts to the GCC GNAT Ada standard libraries
to strengthen analysis provided by formal verification tools
Document security and digital signatures in PDF 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
Community Discussion: Safety and Open Source

Events

Title Track Start End

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