Now showing items 1-2 of 2

    • Inkrementální verifikace bezpečnosti na základě binárních rozhodovacích stromů 

      Author: Hovorka Vojtěch; Supervisor: Ratschan Stefan; Opponent: Kohlík Martin
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-16)
    • SAT s diferenciálními rovnicemi 

      Author: Kolárik Tomáš; Supervisor: Ratschan Stefan; Opponent: Surynek Pavel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-08)
      Na mnoho dnešnich systémů, např. vestavných, jsou kladeny vysoké nároky na splněni specifikaci, které často závisi na jevech z fyzikálniho okoli. Pro rozsáhlé systémy se osvědčuje použiti formálni verifikace jako nástroje ...