Lectures
HSE #21: Using Verification Effectively
623 views
Hardcore Software Engineering
Joseph Kiniry talks about Verification: "Using Verification Effectively#
Joseph Kiniry talks about Verification: "Using Verification Effectively#
RELATED VIDEOS
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...
Lectures
HSE #16: Unit Testing and Testing in Practice
Hardcore Software Engineering Joseph Kiniry...