Online / 6 & 7 February 2021

schedule

Safety and Open Source devroom


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

Read the Call for Papers at https://lists.fosdem.org/pipermail/fosdem/2020q4/003157.html.

Event Speakers Start End

Saturday

  Adding contracts to the GCC GNAT Ada standard libraries
to strengthen analysis provided by formal verification tools
Joffrey Huguet 11:00 11:30
  Document security and digital signatures in PDF Matthias Valvekens 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
Claire Dross 13:30 14:30
  Community Discussion: Safety and Open Source 14:45 15:45