Project Details

Verification and Validation Methods for Formal Descriptions

Project Period: 1. 1. 1994 - 31. 12. 1996

Project Type: grant

Code: COST247

Agency: COST, European Cooperation in Science and Technology

Program:

Type
grant
Keywords

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

Abstract

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

Team members
Kemal Inan, Prof. Dr. (EEED METU) , research leader
Brim Luboš, prof. RNDr., CSc. (FI MUNI) , team leader
Křetínský Mojmír, prof. RNDr., CSc. (FI MUNI) , team leader
Šárek Milan, Ing. (CVIS VUT) , team leader
Švéda Miroslav, Doc. Ing., CSc. (UIVT FEI VUT) , team leader
Publications

1997

1996

1995

1994

Back to top