Welcome,
Guest
.
Login
.
Türkçe
NİNOVA
COURSES
HELP
ABOUT
Where Am I:
Ninova
/
Courses
/
Institute of Science and Technology
/
BLG 633E
/
Course Informations
Return to Faculty
Home Page
Course Information
Course Weekly Lecture Plan
Course Evaluation Criteria
Course Information
Course Name
Turkish
Model Checking for Software Systems
English
Model Checking for Software Systems
Course Code
BLG 633E
Credit
Lecture
(hour/week)
Recitation
(hour/week)
Laboratory
(hour/week)
Semester
-
3
-
-
-
Course Language
English
Course Coordinator
Tolga Ovatman
Course Objectives
- Learning the concept of model checking
- Having insight on the theoretical background of model checking
- Learning program verification using model checking
Course Description
During the course, model checking methods will be covered that can be used in program verification and during specification and design stages of software development. Course will begin with introduction of the concept of model checking and theoretical background of modern model checking methods. Later, basic SMV, SPIN and UPPAAL examples will be used to demonstrate program verification and finally some formal languages that are integrated to modern programming languages will be examined.
Course Outcomes
Pre-requisite(s)
Required Facilities
Other
Textbook
Baier, C., Katoen, J.-P., 2008. Principles of Model Checking, M.I.T. Press
Other References
Courses
.
Help
.
About
Ninova is an ITU Office of Information Technologies Product. © 2024