Skip to Main Content

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)