Can I read CSEE 6998 Formal Verification Course Outline on EtoBox?

CSEE 6998 Formal Verification Course Outline by aa920502 is a document available to read on EtoBox.

What is CSEE 6998 Formal Verification Course Outline about?

This document outlines the tentative schedule and assignments for the CSEE 6998 Formal Verification course. There will be 5 homework assignments over the semester covering topics like temporal logic, model checking, binary decision diagrams, and software verification tools. Students will also complete a semester-long project with proposal, status report, and final report deadlines. The midterm will be on October 28th and there is no class on November 11th. The course will introduce techniques like symbolic

Author

aa920502

Language

EN