Skip Navigation LinksHome > College of Information Technology > Departments > Software Engineernig > Courses > Course Description

Course Name:

Formal Methods in Software Engineering

Course Description:

Methodologies, approaches, and techniques associated with applying rigorous techniques that have a solid mathematical and logical foundation to support major software development stages, including requirement specification, software design, and software verification and validation. The main topics include: Propositional logic and Predicate logic: their syntax, semantics, and use as a formal language, Temporal Logic, Model checking and Theorem Proving.