Skip to content

GitLab

Explore

Sign in

dosek-verification
mockup-generator

M

mockup-generator

Project information

Horizontal verification: Trace the kernel dynamically and do isomorphism check against SSTG

176 Commits
3 Branches
0 Tags

README

Created on

October 08, 2016

Copy SSH clone URLgit@gitlab.cs.fau.de:dosek-verification/osek-verification.git
Copy HTTPS clone URLhttps://gitlab.cs.fau.de/dosek-verification/osek-verification.git