Detail projektu

Verification and Validation Methods for Formal Descriptions

Období řešení: 01.01.1994 — 31.12.1996

O projektu

1) Verification (software & hardware), testing, proof checking, temporal
logic, simulation, visualization, transformation, finite state machines.

2) Languages, formal semantics, standardization, specification, temporal
logic, process algebras, object orientation, data types, modularity,
non-functional aspects.

3) Implementation, tools

4) Case studies, distributed systems, intelligence networks

5) Real time

Klíčová slova
verification, testing, proof checking, temporal logics, process algebras, tools, case studies

Označení

COST247

Originální jazyk

angličtina

Řešitelé

Křetínský Mojmír, prof. RNDr., CSc. - spoluřešitel
Šárek Milan - spoluřešitel
Švéda Miroslav, prof. Ing., CSc. - spoluřešitel

Útvary

Centrum informačních služeb
- spolupříjemce (01.01.1994 - 31.12.1996)
Fakulta informatiky
- spolupříjemce (01.01.1994 - 31.12.1996)
Ústav informačních systémů
- spolupříjemce (13.05.2004 - nezadáno)

Odpovědnost: