Využití techniky "Model checking" pro vývoj bezpečnostně kritických aplikací

Date issued

2017

Journal Title

Journal ISSN

Volume Title

Publisher

Západočeská univerzita v Plzni

Abstract

V této práci je nastíněna problematika bezpečnostně kritických systémů. Dále jsou zde popsány principy metody Model checking a možnosti jejího využití při návrhu modelu bezpečnostně kritických systémů. V poslední části této práce je tato metoda použita na dvou zadaných modelech a je vyhodnocen přínos jejího využití.

Description

Subject(s)

model checking, verifikace, bezpečnostně kritické systémy, formální metody

Citation

Collections

OPEN License Selector