Zpět na vyhledávání

Práce na stejné téma (mají shodná klíčová slova):

symbolicka exekucia

Klíčová slova abecedně | Klíčová slova dle četnosti

Rozšíření nástroje pro symbolickou exekuci KLEE
 (Peter Hruška)

2013, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/xn7xc/ | Informatika / Počítačové systémy | Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Znovupoužití známých výsledků SMT dotazů
 (Martin Kučera)

2014, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/cluo1/ | Informatika / Matematická informatika | Práce na příbuzné téma

Paralelní volání SMT solverů v nástroji Bugst
 (Viktor Toman)

2014, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/uy033/ | Informatika / Matematická informatika | Práce na příbuzné téma

Portování nástroje Symbiotic na LLVM 3.8
 (Richard Trembecký)

2016, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/td2oc/ | Aplikovaná informatika / | Práce na příbuzné téma

Automatizovaná paralelizace zpracování vstupních dat na základě kauzality
 (Richard Kakaš)

2018, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/zww9x/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma