Název: Praktické metody automatizované verifikace paralelních programů
Překlad názvu: Practical Methods of Automated Verification of Concurrent Programs
Autoři: Fiedor, Jan ; Arcaini, Paolo (oponent) ; Farchi, Eitan (oponent) ; Vojnar, Tomáš (vedoucí práce)
Typ dokumentu: Disertační práce
Rok: 2017
Jazyk: eng
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [eng] [cze]

Klíčová slova: concurrency; contracts; dynamic analysis; noise injection; testing; transactional memory; dynamická analýza; kontrakty; souběžnost; testování; transakční paměť; vkládání šumu

Instituce: Vysoké učení technické v Brně (web)
Informace o dostupnosti dokumentu: Plný text je dostupný v Digitální knihovně VUT.
Původní záznam: http://hdl.handle.net/11012/187297

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-412575


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Vysoké učení technické v Brně
Vysokoškolské kvalifikační práce > Disertační práce
 Záznam vytvořen dne 2020-07-11, naposledy upraven 2021-08-22.


Není přiložen dokument
  • Exportovat ve formátu DC, NUŠL, RIS
  • Sdílet