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

COST247

angličtina

Inan Kemal, Prof. Dr. - hlavní řešitel

Ústav informačních systémů
- odpovědné pracoviště (8.4.2004 - nezadáno)
Centrum informačních služeb
- spolupříjemce (8.4.2004 - 31.12.1996)
Fakulta informačních technologií
- spolupříjemce (8.4.2004 - 31.12.1996)
Fakulta informatiky
- spolupříjemce (8.4.2004 - 31.12.1996)
Ústav informačních systémů
- spolupříjemce (13.5.2004 - nezadáno)

Odpovědnost: Inan Kemal, Prof. Dr.