. "Kofro\u0148, Jan" . "Springer-Verlag" . "\u0160er\u00FD, O." . "14"^^ . "1"^^ . . "3"^^ . "Teaching Formal Methods" . . . "On Teaching Formal Methods: Behavior Models and Code Analysis" . . "978-3-642-04911-8" . . . "Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no comprehensive textbooks covering certain topics, especially code analysis. In this paper, we share our experience with teaching two courses. The first is focused on classics of modeling and verification of software and hardware systems (LTS, LTL, equivalences, etc.), while the other one involves topics related to automated analysis of program code. We hope that other lecturers can benefit from our experience to improve their courses."@en . "331469" . . "P(1ET400300504), Z(AV0Z10300504), Z(MSM0021620838)" . "[8E9C233B9C57]" . "Par\u00EDzek, P." . . . "RIV/67985807:_____/09:00334299" . "Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no comprehensive textbooks covering certain topics, especially code analysis. In this paper, we share our experience with teaching two courses. The first is focused on classics of modeling and verification of software and hardware systems (LTS, LTL, equivalences, etc.), while the other one involves topics related to automated analysis of program code. We hope that other lecturers can benefit from our experience to improve their courses." . . "2009-11-02+01:00"^^ . "formal methods; code analysis; teaching"@en . . . "On Teaching Formal Methods: Behavior Models and Code Analysis"@en . . . "RIV/67985807:_____/09:00334299!RIV10-AV0-67985807" . . . "On Teaching Formal Methods: Behavior Models and Code Analysis"@en . "Berlin" . "On Teaching Formal Methods: Behavior Models and Code Analysis" . . "Eindhoven" . .