Explore projects

Simple interpreter and symbolic executor designed for fast prototyping of symbolic execution algorithms. MOVED to https://gitlab.com/mchalupa/slowbeast

Project for the subject pa165 Enterprise Java Applications. Topic Airport Manager. Purple Team.

Teze dizertační práce - odevzdání září 2016

https://divine.fi.muni.cz/trac/report/1