Now showing items 1-2 of 2

  • Ověřování temporálních vlastností konečných běhů programů 

    Sečkařová, Petra
    Temporální vlastnosti programů jsou používány ke specifikaci korektního průběhu jejich vykonávání. Jedním z nejčastějších způsobů formálního popisu těchto vlastností je lineární temporální logika - LTL , případně její ...
  • Převod LTL formulí s omezenými operátory do automatů s čítači 

    Slezáková, Alexandra
    Táto práca rieši prevod LTL formulí s obmedzenými operátormi (temporálne operátory, ktoré majú obmedzenú platnosť na určitý počet krokov) do automatu s čítačmi. Použitím klasických metód je automatová reprezentácia takýchto ...