Undergraduate Prerequisites: (ENGEC330) Familiarities of propositional logic, basic probability theory and bas ic graphic graph algorithms, and experience with one programming langu age (e.g., C++, Python) are assumed. An undergraduate course - This course will introduce the fundamental theory in computer-aided verification and synthesis for building provably dependable computer systems. The topics covered include logic specifications, modeling formalisms, verification techniques, and inductive synthesis strategies. A special focus of the course is on interplay between deductive reasoning (logical inference and constraint solving) and inductive inference (learning from data). We will also survey applications of these techniques to a wide range of problems in hardware, software, cyber-physical systems, robotics, and biology.

Note that this information may change at any time. Please visit the MyBU Student Portal for the most up-to-date course information.