Prohlížení Bakalářské práce - 18101 dle autora "Donat-Bouillud Pierre"

Zobrazují se záznamy 1-1 z 1

    • Symbolická exekuce pro R 

      Autor: Petr Šťastný; Vedoucí práce: Donat-Bouillud Pierre; Oponent práce: Krynski Sebastián
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-20)
      Symbolic execution je technika, která umožňuje testovat programy a dokazovat jejich netriviální vlastnosti. Vytvoření nového systému pro symbolic execution je náročné. Místo toho je použita technika, kdy je symbolicky ...