Explore projects

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

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

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