Number of the records: 1
On Teaching Formal Methods: Behavior Models and Code Analysis
- 1.
SYSNO ASEP 0334299 Document Type C - Proceedings Paper (int. conf.) R&D Document Type Conference Paper Title On Teaching Formal Methods: Behavior Models and Code Analysis Title Výuka formálních metod: Modely chování a analýza kódu Author(s) Kofroň, Jan (UIVT-O)
Parízek, P. (CZ)
Šerý, O. (CZ)Source Title Teaching Formal Methods. - Berlin : Springer, 2009 / Gibbons J. ; Oliveira J.N. - ISBN 978-3-642-04911-8 Pages s. 144-157 Number of pages 14 s. Action TFM 2009. International Conference Teaching Formal Methods /2./ Event date 02.11.2009-06.11.2009 VEvent location Eindhoven Country NL - Netherlands Event type WRD Language eng - English Country DE - Germany Keywords formal methods ; code analysis ; teaching Subject RIV JC - Computer Hardware ; Software R&D Projects 1ET400300504 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR) CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000278101900009 DOI 10.1007/978-3-642-04912-5_10 Annotation 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. Workplace Institute of Computer Science Contact Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Year of Publishing 2010
Number of the records: 1