Course Catalog

CS 510 Formal Methods for Reliable Digital Systems	3 Credits
This course introduces the formal verification and testing methods for digital systems, which includes both software and digital hardware. In the first part of the course, formal testing based on finite state machine representation of digital systems is studied. Black box and white box testing methods are also covered. In the second part of the course, model checking is introduced as a formal approach for verification. The practical problems of model checking, and some complexity relief techniques are also discussed.
Last Offered Terms Course Name SU Credit Fall 2023-2024 Formal Methods for Reliable Digital Systems 3 Spring 2019-2020 Formal Methods for Reliable Digital Systems 3 Fall 2018-2019 Formal Methods for Reliable Digital Systems 3 Fall 2016-2017 Formal Methods for Reliable Digital Systems 3 Fall 2015-2016 Formal Methods for Reliable Digital Systems 3 Fall 2013-2014 Formal Methods for Reliable Digital Systems 3 Fall 2012-2013 Formal Methods for Reliable Digital Systems 3 Spring 2010-2011 Formal Methods for Reliable Digital Systems 3 Spring 2009-2010 Formal Methods for Reliable Digital Systems 3 Fall 2009-2010 Formal Methods for Reliable Digital Systems 3 Spring 2008-2009 Formal Methods for Reliable Digital Systems 3 Spring 2007-2008 Formal Methods for Reliable Digital Systems 3 Spring 2006-2007 Formal Methods for Reliable Digital Systems 3 Spring 2005-2006 Formal Methods for Reliable Digital Systems 3 Spring 2004-2005 Formal Methods for Reliable Digital Systems 3
Prerequisite: __
Corequisite: __
ECTS Credit: 10 ECTS (10 ECTS for students admitted before 2013-14 Academic Year)
General Requirements: