Towards a Verified Implementation of a Network Stack. - Caitlyn Wilde; Wyeth T. Greenlaw Rollins; Levi Overcast; Alain Kägi (SIGCSE (2), 2024)