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

Keywords
verification, testing, proof checking, temporal logics, process algebras, tools, case studies

COST247

English

Inan Kemal, Prof. Dr. - principal person responsible

Department of Information Systems
- responsible department (8.4.2004 - not assigned)
Centre of Information Services
- co-beneficiary (8.4.2004 - 31.12.1996)
Department of Information Systems
- co-beneficiary (13.5.2004 - not assigned)
Faculty of Informatics MU
- co-beneficiary (8.4.2004 - 31.12.1996)
Faculty of Information Technology
- co-beneficiary (8.4.2004 - 31.12.1996)

Responsibility: Inan Kemal, Prof. Dr.