Detail předmětu
Specifikace vestavěných systémů (v angličtině)
Garant předmětu
Jazyk výuky
anglicky
Zakončení
zkouška (kombinovaná)
Rozsah
Bodové hodnocení
- 60 bodů závěrečná zkouška (písemná část)
- 15 bodů půlsemestrální test (písemná část)
- 25 bodů projekty
Zajišťuje ústav
Ústav informačních systémů (UIFS)
Literatura studijní
- Huth, M.R.A., Ryan, M.D.: Logic in Computer Science - Modelling and Reasoning about Systems, Cambridge University Press, 2002, ISBN 0-521-65602-8
- Clarke, E.M., Jr., Grumberg, O., Peled, D.A.: Model Checking, MIT Press, 2000, ISBN 0-262-03270-8
- de Bakker, J.W. et all. (Editors): Real-Time: Theory in Practice, Springer-Verlag, LNCS 600, 1992, ISBN 3-540-55564-1
Literatura referenční
- Schneider, K.: Verification of Reactive Systems, Springer-Verlag, 2004, ISBN 3-540-00296-0
- Huth, M.R.A., Ryan, M.D.: Logic in Computer Science - Modelling and Reasoning about Systems, Cambridge University Press, 2002, ISBN 0-521-65602-8
- Clarke, E.M., Jr., Grumberg, O., Peled, D.A.: Model Checking, MIT Press, 2000, ISBN 0-262-03270-8
- de Bakker, J.W. et all. (Editors): Real-Time: Theory in Practice, Springer-Verlag, LNCS 600, 1992, ISBN 3-540-55564-1
- Gabbay, D.M., Ohlbach, H.J. (Editors): Temporal Logic, Springer-Verlag, LNCS 827, 1994, ISBN 3-540-58241-X
- Monin, J.F., Hinchey, M.G.:Understanding Formal Methods, Springer-Verlang, 2003.
- Peled, D.A.:Software Reliability Methods, Text in Computer Science, Springer, 2001.
- Tennent, R.D.:Specifying Software: A Hand-On Introduction, Cambridge University Press, 2002.
- Bertot, Y., Casteran, P.:Interactive Theorem Proving and Program Development, Springer-Verlang, 2004.