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...