Computer Science Seminar by William Mansky: Formally Verifying C Programs Down to Assembly, Interactively and Automatically
Speaker: William Mansky, assistant professor of computer science, University of 香蕉传媒 Chicago Title: Formally Verifying C Programs Down to Assembly, Interactively and Automatically Abstract: How...