Lectures
HSE #12: Code Standards and Metrics
473 views
Hardcore Software Engineering
Joseph Kiniry talks about Static Analysis: "Code Standards and Metrics"
Joseph Kiniry talks about Static Analysis: "Code Standards and Metrics"
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...