Tagged with tools
Lectures
HSE #3: Effectively Using Formal Methods
Hardcore Software Engineering Joseph Kiniry talks about Background, BON, and Analysis -...
Lectures
HSE #2: Example Projects
Hardcore Software Engineering Joseph Kiniry talks about Background, BON, and Analysis - "Example...
Lectures
HSE #1: Hardcore Software Engineering
Hardcore Software Engineering with Joseph Kiniry. Podcast about Verification-centric Software...