Lectures

HSE #20: Model Checking

666 views
Hardcore Software Engineering
Joseph Kiniry talks about Verification: "Model Checking"