This repository contains the experimental (training) DDVerifier materials. The materials presented here are not included in the official version of the DDVerifier and contain students achievements made ​​within the educational process in order to mastering modern software development technologies.