On Teaching Formal Methods: Behavior Models and Code Analysis

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F09%3A00207460" target="_blank" >RIV/00216208:11320/09:00207460 - isvavai.cz</a>

Alternative codes found

RIV/67985807:_____/09:00334299

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

On Teaching Formal Methods: Behavior Models and Code Analysis

Original language description

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.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

<a href="/en/project/1ET400300504" target="_blank" >1ET400300504: Realistic application of formal methods in component systems</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2009

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Teaching Formal Methods

ISBN

978-3-642-04911-8

ISSN

—

e-ISSN

—

Number of pages

14

Pages from-to

—

Publisher name

Springer

Place of publication

—

Event location

Neuveden

Event date

Jan 1, 2009

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—