Zpět na vyhledávání

Mgr. Jan Tušil

Bachelor's thesis

Partial Order redukce pro LLVM

Partial Order Reduction for LLVM
Abstract:
Cílem této práce je vytvořit nástroj pro: 1) překlad programů využívajících knihovnu posixových vláken (pthreads) z (podmnožiny) jazyka LLVM IR do jazyka pro popis přechodových systémů NTS 2) a následnou sekvencializace výsledného přechodovýho systému s využítím statické Partial Order redukce.
Abstract:
The goal of this thesis is to create a tool, which can be able to: 1) translate programs, which use posix threads (pthreads), from (subset of) LLVM IR to NTS (Numerical Transition Systems) language 2) sequentialize resulting transition system with use of Static Partial Order Reduction
 

Keywords

llvm model checking partial order reduction NTS transition systems pthreads posix threads
 
Language used: Czech
Date on which the thesis was submitted / produced: 18. 5. 2015
Identifier: https://is.muni.cz/th/f18pq/

Thesis defence

  • Date of defence: 19. 6. 2015
  • Supervisor: Mgr. Petr Bauch, Ph.D.
  • Reader: doc. RNDr. Jan Strejček, Ph.D.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Informatics / Programmable Technical Structures

Theses on a related topic

List of theses with an identical keyword.