DFOME Formal Methods in Theory and Practice

Faculty of Informatics
Spring 2008
Extent and Intensity
3/0. 3 credit(s). Type of Completion: z (credit).
Teacher(s)
prof. RNDr. Petr Hliněný, Ph.D. (lecturer)
Ing. Dana Komárková (lecturer)
prof. RNDr. Antonín Kučera, Ph.D. (lecturer)
Guaranteed by
prof. RNDr. Antonín Kučera, Ph.D.
Faculty of Informatics
Course Enrolment Limitations
The course is only offered to the students of the study fields the course is directly associated with.
fields of study / plans the course is directly associated with
there are 6 fields of study the course is directly associated with, display
Course objectives (in Czech)
Kurs je zaměřen na vybraná témata z oblasti formálních metod, jejichž důležitost a relevance již byla potvrzena četnými průmyslovými aplikacemi. Každé téma je prezentováno jako nezávislý výukový blok, který začíná krátkým úvodem v rozsahu 3-4 přednášek připravených lektorem. Po této úvodní části následují prezentace studentů, kteří referují o poznatcích nastudovaných v odborných článcích doporučených lektorem. Každý blok je zakončen diskusí, ve které jsou identifikována možná témata pro budoucí výzkum. Témata kurzu jsou volena především z následujících oblastí: stochastické procesy, stochastické programování a stochastické hry, metody a nástroje pro detekci chyb ve velkých programových systémech, formální modely a specifikační formalismy pro aplikace v oblasti mobilních sítí, hybridní systémy. Studium těchto pokročilých témat je doplněno krátkými kurzy vybraných partií matematiky (teorie pravděpodobnosti, diskrétní matematiky, matematické analýzy, numerických metod, atd.) zaměřených na vybudování potřebného aparátu.
Literature
  • KLEINBERG, Jon and Éva TARDOS. Algorithm design. Boston: Pearson/Addison-Wesley, 2006, xxiii, 838. ISBN 0321295358. info
  • PUTERMAN, Martin L. Markov decision processes : discrete stochastic dynamic programming. Hoboken, N.J.: Wiley-Interscience, 2005, xvii, 649. ISBN 0471727822. info
  • DAHLQUIST, Germund, Ned ANDERSON and Åke BJÖRCK. Numerical methods. Mineola, N.Y.: Dover Publications, 2003, xviii, 573. ISBN 0486428079. info
  • GRUMBERG, Orna, Doron A. PELED and E. M. CLARKE. Model checking. Cambridge: MIT Press, 1999, xiv, 314. ISBN 0262032708. info
  • FILAR, Jerzy A. and Koos VRIEZE. Competitive Markov decision processes : with 57 illustrations. New York: Springer, 1997, xii, 393. ISBN 0387948058. info
  • NORRIS, J. R. Markov chains. 1st pub. Cambridge: Cambridge University Press, 1997, xvi, 237. ISBN 9780521481816. info
  • OWEN, Guillermo. Game theory. 3rd ed. San Diego: Academic Press, 1995, xii, 447. ISBN 0125311516. info
  • FELLER, William. An introduction to probability theory and its applications. 3rd ed. [New York]: John Wiley & Sons, 1968, xviii, 509. ISBN 9780471257080. info
Assessment methods (in Czech)
Povinně volitelný předmět, ohodnocený 3 kredity, předmět lze opakovaně zapisovat.
Language of instruction
Czech
The course is also listed under the following terms Autumn 2007, Autumn 2008, Spring 2009, Autumn 2009, Spring 2010, Autumn 2010, Spring 2011, Autumn 2011, Spring 2012, Autumn 2012, Spring 2013, Autumn 2013, Spring 2014, Autumn 2014, Spring 2015, Autumn 2015, Spring 2016, Autumn 2016, Spring 2017, Autumn 2017, Spring 2018, Autumn 2018, Spring 2019, Autumn 2019, Spring 2020, Autumn 2020.
  • Enrolment Statistics (Spring 2008, recent)
  • Permalink: https://is.muni.cz/course/fi/spring2008/DFOME