Model checking a parity games
Loading...
Downloads
Date issued
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
Subject(s)
model checking, CTL, parity games, CTL checker, PGSolver