Formal Methods for System Verification

ABOUT THE COURSE: Formal Verification is an essential tool for any Software and Hardware Industries. The industries spent more than 50% of the design cycle in verifying the functional correctness of the developed software/hardware. The techniques like Satisfiability (SAT) and model checking is the heart of those formal verification techniques used by the Industries. In this course, we will cover the fundamental theories of SAT and Model checking and take few case studies to explain its applications. INTENDED AUDIENCE: BTech 3 rd year and final year students in CSE and Related subjects. MTech/PhD students in CSE. Industry Professionals INDUSTRY SUPPORT: Any Software and Semiconductor Industry who need formal verification of their software/designs. Microsoft, Google, Qualcomm, Nvedia, Samsung, Intel, Synopsys, Cadence, AMD, etc.