First steps towards verification of user-space systems By Matt Brecknell 17 October 2024 Write your presentation here. View the full resource