Model checking a parity games

Thumbnail Image

Downloads

Date issued

2006

Authors

Janák, Lukáš

Journal Title

Journal ISSN

Volume Title

Publisher

Vysoká škola báňská - Technická univerzita Ostrava

Location

ÚK/Sklad diplomových prací

Signature

200600009

Abstract

Description

Import 08/08/2006

Delayed publication

Available after

Subject(s)

model checking, CTL, parity games, CTL checker, PGSolver

Citation

Item identifier

http://hdl.handle.net/10084/56048

Collections

Vysokoškolské kvalifikační práce Fakulty elektrotechniky a informatiky / Theses and dissertations of Faculty of Electrical Engineering and Computer Science (FEI)