Basic concepts of behavior description of parallel and distributed systems. Equivalence checking and model
checking techniques and tools.
Last update: Tajemník Katedry (30.04.2012)
Základní principy popisu chování paralelních a distribuovaných systémů. Equivalence checking a model checking
- postupy a nástroje. Předmět je vyučován v anglickém jazyce.
Literature -
Last update: T_KSI (30.04.2008)
P. Regan, S. Hamilton: NASA's Mission Reliable, IEEE Computer, vol. 37, no. 1, Jan 2004
G. J. Holzmann: The Spin Model Checker, Addison Wesley, 2003
E. M. Clarke, Jr., O. Grumberg, D. A. Peled: Model Checking, MIT Press, 2002
J. A. Bergstra, A. Ponse, S. A. Smolka: Handbook of Process Algebra, Elsevier 2001
R. Milner: Communication and Concurrency, Prentice Hall 1989
C. Stirling: Modal and Temporal Properties of Processes, Springer 2001
F. Plasil, S. Visnovsky: Behavior Protocols for Software Components, IEEE Transactions on Software Engineering, vol. 28, no. 11, Nov 2002
J. Adamek, F. Plasil: Component Composition Errors and Update Atomicity: Static Analysis, Journal of Software Maintenance and Evolution: Research and Practice, 2005
Last update: RNDr. Jiří Adámek, Ph.D. (28.08.2006)
P. Regan, S. Hamilton: NASA's Mission Reliable, IEEE Computer, vol. 37, no. 1, Jan 2004
G. J. Holzmann: The Spin Model Checker, Addison Wesley, 2003
E. M. Clarke, Jr., O. Grumberg, D. A. Peled: Model Checking, MIT Press, 2002
J. A. Bergstra, A. Ponse, S. A. Smolka: Handbook of Process Algebra, Elsevier 2001
R. Milner: Communication and Concurrency, Prentice Hall 1989
C. Stirling: Modal and Temporal Properties of Processes, Springer 2001
F. Plasil, S. Visnovsky: Behavior Protocols for Software Components, IEEE Transactions on Software Engineering, vol. 28, no. 11, Nov 2002
J. Adamek, F. Plasil: Component Composition Errors and Update Atomicity: Static Analysis, Journal of Software Maintenance and Evolution: Research and Practice, 2005
D. Engler: Static analysis versus software model checking for bug finding, VMCAI'04