LART

Warning

This publication doesn't include Faculty of Education. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	LAUKO Henrich
Year of publication	2022
MU Faculty or unit	Faculty of Informatics
Web	https://github.com/xlauko/lart
Description	LART: LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstractions. In terms of the instruction set, the resulting programs are normal, concrete LLVM programs that can be executed and analyzed.
Related projects:	Rozsáhlé výpočetní systémy: modely, aplikace a verifikace XI.