bamapro-2019-ss merge requests
https://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests
2019-05-27T14:30:23Z
https://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/10
Check Specifications
2019-05-27T14:30:23Z
Kai Prott
Check Specifications
This closes https://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/issues/19,
closes https://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/issues/20,
closes https://git.ps.informatik.uni-kiel.de/student...
This closes https://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/issues/19,
closes https://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/issues/20,
closes https://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/issues/21
and implements https://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/issues/11.
A tool for simple verifications
Kai Prott
Kai Prott