Wednesday

Sans Titre

Main Links

Sans Titre

Quick Links

you are in: HOME :: CURRICULUM :: Formal Methods : :


Formal Methods

Course Content

1  Formal Methods

1.1 An Introduction
1.2  Why Formal Methods are needed?
1.3  Classification of Formal Methods

2  An Introduction to Logic

2.1  Set Theory
2.2  Relational Logic
2.3  Logic in Software Engineering
2.4  Predicate Calculus
2.5  Hoare Logic
2.6  Temporal Logic
2.7  Lambda Calculus

3  Formal Method and Analysis of Software Architecture

3.1  Modeling System

4  Software Component Validation using Formal Methods

4.1  Requirements
4.2  Formal Specification
4.3  Software Validation

5  Formal Methods and Software Testing

5.1  An Introduction to Software Testing
5.2  Test Selection
5.3  Test Case Generation using Formal Methods
5.4  Test Automation
5.5  Test Oracle
5.6  Model Checking Algorithms
5.7  Finite State Machines, FSM
5.7.1  Deterministic
5.7.2  Non-Deterministic
5.8  Formal Testing

6  Algebraic Specification

6.1  Specification Language
6.2  Using Algebraic Specification in Testing
6.3  Verification

7  Tools for Formal Methods

7.1  Z
7.2  B
7.3  SPIN
The Instructor

TBA




 
 

Design & Concept by Djordjo Vasic