Project Details

Metody formální analýzy a verifikace v objektově orientovaných Petriho sítích

Project Period: 1. 1. 2002 – 31. 12. 2002

Project Type: grant

Code: FR1948/2002/G1

Type

grant

Keywords

objektově orientované Petriho sítě, metody formální analýzy a verifikace, typová
analýza, stavové prostory

Abstract

Vývoj současných aplikací je natolik složitý, že bez použití formálních
prostředků není možné udržet vysokou kvalitu a spolehlivost vyvíjených systémů.
Tento projekt se proto zabývá formalizmem objektově orientovaných Petriho sítí
(OOPN) a s ním spojenými metodami formální analýzy a verifikace. Hlavní oblasti
zájmu tohoto projektu jsou: typová analýza OOPN, dotazovací jazyk nad stavovými
prostory OOPN a překlad OOPN do jiných formalizmů.

Team members

Křena Bohuslav, Ing., Ph.D. (DITS) – research leader
Češka Milan, prof. RNDr., CSc.