The Workshop on Avionics Systems and Software Engineering ( #AvioSE 2025) has started at #SEconf25!
Kicking off with a keynote by Florian Gilcher: "Correctness at Large, Correctness in Motion."

#Avionics #SoftwareEngineering #SafetyCriticalSystems #SE