Explore projects

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

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

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

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