Lectures
HSE #2: Example Projects
485 views
Hardcore Software Engineering
Joseph Kiniry talks about Background, BON, and Analysis - "Example Projects"
Joseph Kiniry talks about Background, BON, and Analysis - "Example Projects"
RELATED VIDEOS
Lectures
HSE #3: Effectively Using Formal Methods
Hardcore Software Engineering Joseph Kiniry...
Lectures
HSE #1: Hardcore Software Engineering
Hardcore Software Engineering with Joseph...
Lectures
HSE #21: Using Verification Effectively
Hardcore Software Engineering Joseph Kiniry...
Lectures
HSE #20: Model Checking
Hardcore Software Engineering Joseph Kiniry...