LART

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	LAUKO Henrich
Rok publikování	2022
Druh	Software
Fakulta / Pracoviště MU	Fakulta informatiky
www	https://github.com/xlauko/lart
Popis	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.
Související projekty:	Rozsáhlé výpočetní systémy: modely, aplikace a verifikace XI.