Wykład monograficzny
Weryfikacja protokołów komunikacyjnych wspomagana komputerowo
semestr letni 2003/2004
- Termin:
- wykład i ćwiczenia: czwartki 10:15 - 13:45, s. 5790
- laboratorium: wtorki 12:15 - 13:45, lab.2 i lab. 5 na przemian
- Opis wykładu
- Notatki do wykładu
- Prezentacje zaliczeniowe (CWB)
- Prezentacje zaliczeniowe (SPIN, UPPAAL)
- Literatura:
- R. Milner Communication and Concurrency, Prentice Hall, 1995.
- C. Stirling Modal and Temporal Properties of Processes, Springer-Verlag, 2001.
- G. Bruns Distributed Systems Analysis with CCS, Prentice Hall, 1997.
- G. J. Holzmann The SPIN Model Checker, Pearson Educational, 2003.
- E.M. Clarke, O. Grumberg, D.A. Peled Model Checking, MIT Press, 2002.
- B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen, P. McKenzie
Systems and Software Verification, Springer, 2001.
- G. Birtwistle, F. Moller, eds. Logics for Concurrency, LNCS 1043, Springer, 1996.
- R. Alur, D. L. Dill A Theory of Timed Automata, Theoretical Computer Science 125:183-235, 1994.
- R. Alur Timed Automata, Proc. CAV'99, LNCS 1633, 8-22, Springer, 1999.
- K. Larsen, F. Larsson, P. Pettersson, W. Yi
Efficient Verification of Real-Time Systems: Compact Data Structure and State-Space Reduction,
Proc.CAV'99, LNCS 1633, Springer, 1999.
- Narzędzia
- Interesuj±ce strony: