|
|
|
||
Poslední úprava: Tajemník Katedry (30.04.2012)
|
|
||
Poslední úprava: 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 |
|
||
Poslední úprava: Tajemník Katedry (15.05.2013)
1. Matematické striktury pro modelování chování system, ling, labeled transition systems, Kripkeho struktury. 2. Equivalence checking. 3. Model checking. 4. Softwarové nástroje pro model checking. 5. Specifikace a verifice real-time systémů. 6. Procesové algebry. |