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

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

FOSDEM21