Početna stranicaVisoka učilištaKorisničke stranice
Formal Methods in System Design
Abbreviation: Load: 45(L) + 0(E) + 0(LE) + 0(CE)
Lecturers in charge: Prof. dr. sc. Nikola Bogunović
Izv. prof. dr. sc. Bruno Blašković
Lecturers: dr. sc. Alan Jović ( Lectures )
Course 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.
Lecture languages: - - -
Compulsory literature:
1. Logic in Computer Science Michael Huth, Mark Ryan Cambridge University Press 2004
Recommended literature:
2. Systems and Software Verification B.Berard, M.Bidoit, A.Finkel, F.Laroussinie, A.Petit, L.Petrucci, Ph.Schnoebelen, P.McKenzie Springer-Verlag 2001
3. of Reactive Systems Klaus Schneider Springer-Verlag 2004
Legend
L - Lectures
E - Exercises
LE - Laboratory exercises
CE - Project laboratory
* - Not graded
Copyright (c) 2006. Ministarstva znanosti, obrazovanja i športa. Sva prava zadržana.
Programska podrška (c) 2006. Fakultet elektrotehnike i računarstva.
Oblikovanje(c) 2006. Listopad Web Studio.
Posljednja izmjena 2014-01-27