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

Křetínský Mojmír, prof. RNDr., CSc. (CM-SFE)
Šárek Milan
Švéda Miroslav, prof. Ing., CSc. (UTKO)