Practical Verification of System-Software Components Written in Standard C. - Can Cebeci; Yong-Hao Zou; Diyu Zhou; George Candea; Clément Pit-Claudel (SOSP, 2024)