Lectures
HSE #3: Effectively Using Formal Methods
840 views
Hardcore Software Engineering
Joseph Kiniry talks about Background, BON, and Analysis - "Effectively Using Formal Methods"
Joseph Kiniry talks about Background, BON, and Analysis - "Effectively Using Formal Methods"
RELATED VIDEOS
Lectures
HSE #2: Example Projects
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...