Lectures
HSE #5: Dependable Systems Analysis
673 views
Hardcore Software Engineering
Joseph Kiniry talks about Background, BON, and Analysis - "Dependable Systems Analysis"
Joseph Kiniry talks about Background, BON, and Analysis - "Dependable Systems Analysis"
RELATED VIDEOS
Lectures
HSE #21: Using Verification Effectively
Hardcore Software Engineering Joseph Kiniry...
Lectures
HSE #20: Model Checking
Hardcore Software Engineering Joseph Kiniry...
Lectures
HSE #19: Details of a Verification Tool
Hardcore Software Engineering Joseph Kiniry...
Lectures
HSE #18: Kinds of Verification
Hardcore Software Engineering Joseph Kiniry...