Project Details

Verification and Validation Methods for Formal Descriptions

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

Project Type: grant

Code: COST247

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
Inan Kemal, Prof. Dr. – research leader
Brim Luboš, doc. RNDr., CSc. (CM-SFE)
Křetínský Mojmír, prof. RNDr., CSc. (CM-SFE)
Šárek Milan
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Back to top