Mattias Ulbrich

icon indicating a website link http://formal.iti.kit.edu/~ulbrich/

icon company Karlsruhe Institute of Technology, Inst. of Theoretical Informatics icon location Karlsruhe, DE

Results 2 repositories owned by Mattias Ulbrich

llreve

18
Stars
6
Forks
Watchers

Automatic regression verification for LLVM programs

verified publisher icon mattulbrich

mimaflux

19
Stars
7
Forks
Watchers

verified publisher icon mattulbrich