Name		Name	Last commit message	Last commit date
Latest commit History 72 Commits
Symnet @ cac6c68		Symnet @ cac6c68
iptables-sefl @ 1ffeb02		iptables-sefl @ 1ffeb02
presentation		presentation
resources		resources
scs		scs
thesis		thesis
.gitignore		.gitignore
.gitmodules		.gitmodules
LICENSE		LICENSE
README.md		README.md
Tasks.md		Tasks.md

Repository files navigation

Bachelor's diploma project

This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.

About

Bachelor thesis: Formal analysis of iptables configurations for network verification

scala latex iptables verification symbolic-execution diploma-thesis network-verification

Report repository

Releases

No releases published

Packages

No packages published

Languages

TeX 74.1%
CMake 24.6%
Other 1.3%