http://formal.iti.kit.edu/~ulbrich/
Karlsruhe Institute of Technology, Inst. of Theoretical Informatics Karlsruhe, DE
Mattias Ulbrich
Automatic regression verification for LLVM programs
mattulbrich