|
ECTS:
|
5
|
Lecturers in charge:
|
Prof. dr. sc.
Nikola Bogunović
Prof. dr. sc.
Bruno Blašković
|
Take exam:
|
Studomat
|
English level:
1,0,0
|
All teaching activities will be held in Croatian. However, foreign students in mixed groups will have the opportunity to attend additional office hours with the lecturer and teaching assistants in English to help master the course materials. Additionally, the lecturer will refer foreign students to the corresponding literature in English, as well as give them the possibility of taking the associated exams in English.
|
|
Load:
|
| Lecture type | Total |
| Lectures |
45 |
* Load is given in academic hour (1 academic hour = 45 minutes)
|
Description:
|
Mathematically based specification, development and verification procedures of hardware and software systems, aspiring to enhance the quality of final product and at the same time cut down time-to-market period. Mathematical logic as a foundation for specification languages. Deductive systems. Varieties of formal specification languages. Models of hardware and software system implementations. Specification and verification of computational and reactive systems. Theorem proving and model checking verification procedures. Tools for automated formal system verification. Formal conceptual modeling. Application of formal methods in diverse domains of computer hardware and software engineering.
|
Literature:
|
- Logic in Computer Science; Michael Huth, Mark Ryan; Cambridge University Press; 2004; ISBN: 9780521543101
- Systems and Software Verification; B.Berard, M.Bidoit, A.Finkel, F.Laroussinie, A.Petit, L.Petrucci, Ph.Schnoebelen, P.McKenzie; Springer-Verlag; 2001; ISBN: 9783642074783
- Verification of Reactive Systems: Formal Methods and Algorithms; Klaus Schneider; Springer-Verlag; 2010; ISBN: 3642055559
|
|
2. semester
|
course for
profile
Computer Engineering
course for
profile
Computer Science
course for
profile
Information Processing
course for
profile
Software Engineering and Information Systems
course for
profile
Telecommunications and Informatics
|
|
