Online / 6 & 7 February 2021

visit

Safety and Open Source devroom

Room: D.safety
Calendar: iCal, xCal
Video with Q&A: D.safety
Video only: D.safety
Chat: Join the conversation!


09 10 11 12 13 14 15 16 17 18
Saturday Why we should use Free and Open Source Software for safety applications 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		 ELISA - Advancing Open Source Safety-Critical Systems 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
  Why we should use Free and Open Source Software for safety applications 10:00 10:45
  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
  ELISA - Advancing Open Source Safety-Critical Systems shuahfosdem 14:45 15:45
  Community Discussion: Safety and Open Source 16:00 17:00