Informacje ogólne  Aktualności  Pracownicy  Projekty badawcze  Rada Naukowa   Konferencje   Seminaria   Publikacje   Biblioteka   Wydawnictwo  Usługi lokalne 
Seminaria \ Seminarium Zakładu T. P. I. \ Archiwum 2002 / 2003 \ 7.11.2002 Wiktor B. Daszczuk Mapa serwisu  

Wiktor B. Daszczuk
7.11.2002

 

Archiwum 2002 / 2003

 

Seminarium Zakładu
Teoretycznych
Podstaw Informatyki

 

Seminaria

Informacje Ogólne

 


Seminarium Zakładu Teoretycznych Podstaw Informatyki
Archiwum 2002 / 2003

7.11.2002

Weryfikacja modelowa w środowisku COSMA
Wiktor B. Daszczuk

Na seminarium będą poruszone następujące zagadnienia:

  1. Środowisko projektowe COSMA
  2. Specyfika Logiki QsCTL
  3. Algorytm CBS weryfikacji formuł temporalnych
  4. Algorytm symboliczny i weryfikacja na niepełnym modelu
  5. Praktyczne przykłady weryfikacji w środowisku COSMA
  6. Kierunki rozwoju



      Archiwum 2002 / 2003  Back to Research Projects Information.    
  webmaster@IPIPAN.Waw.PL Copyright by IPI PAN - 2003