Original title: Praktické metody automatizované verifikace paralelních programů
Translated title: Practical Methods of Automated Verification of Concurrent Programs
Authors: Fiedor, Jan ; Arcaini, Paolo (referee) ; Farchi, Eitan (referee) ; Vojnar, Tomáš (advisor)
Document type: Doctoral theses
Year: 2017
Language: eng
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [eng] [cze]

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

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: http://hdl.handle.net/11012/187297

Permalink: http://www.nusl.cz/ntk/nusl-412575


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Doctoral theses
 Record created 2020-07-11, last modified 2020-07-11


No fulltext
  • Export as DC, NUŠL, RIS
  • Share