Pinned Repositories
mfsp
Course on formal verification of C programs
min_test_pg
Research on a minimal assembly test program generation
tesla-project
Automatically exported from code.google.com/p/tesla-project
myqsl.github.io
checker-framework
Pluggable type-checking for Java
kornevgen's Repositories
kornevgen/mfsp
Course on formal verification of C programs
kornevgen/tesla-project
Automatically exported from code.google.com/p/tesla-project
kornevgen/min_test_pg
Research on a minimal assembly test program generation