Skip to Main Content
It looks like you're using Internet Explorer 11 or older. This website works best with modern browsers such as the latest versions of Chrome, Firefox, Safari, and Edge. If you continue with this browser, you may see unexpected results.

Formal Methods in Software Engineering: Course Outline

In software engineering, formal methods are a particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems


  • Introduction to Formal Methods
  • Importance, benefits of Formal  Methods
  • Formal Notation for Non Functional requirements
  • Attack Trees
  • SQL Injection Attack and types
  • Ambulatory Infusion Pump 
  • Formal Methods: A Road Map
  • Behavior Trees Syntax and Semantics
  • Ambulatory Infusion Pump
  • Requirements translated into BT
  • Model Checking and Theorem proving
  • Linear Temporal Logic

E-Books (Full Text)

E-Books (Full Text)