Předmět Modely a verifikace chování systémů (NSWI101)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu NSWI101 - Modely a verifikace chování systémů, Matematicko-fyzikální fakulta, Univerzita Karlova v Praze (UK).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Sylabus
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.
Literatura
P. Regan, S. Hamilton: NASA's Mission Reliable, IEEE Computer, vol. 37, no. 1, Jan 2004G. J. Holzmann: The Spin Model Checker, Addison Wesley, 2003E. M. Clarke, Jr., O. Grumberg, D. A. Peled: Model Checking, MIT Press, 2002J. A. Bergstra, A. Ponse, S. A. Smolka: Handbook of Process Algebra, Elsevier 2001R. Milner: Communication and Concurrency, Prentice Hall 1989C. Stirling: Modal and Temporal Properties of Processes, Springer 2001F. Plasil, S. Visnovsky: Behavior Protocols for Software Components, IEEE Transactions on Software Engineering, vol. 28, no. 11, Nov 2002J. Adamek, F. Plasil: Component Composition Errors and Update Atomicity: Static Analysis, Journal of Software Maintenance and Evolution: Research and Practice, 2005D. Engler: Static analysis versus software model checking for bug finding, VMCAI'04
Garant
prof. Ing. František Plášil, DrSc.RNDr. Jan Kofroň, Ph.D.