Actions
Feature #11742
closedDevelop simple program sample and describe how to verify it with Klever
Start date:
07/07/2022
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
It would be very helpful for users to get the preliminary understanding of steps and artifacts that they need to do to verify at least some simple program with help of Klever. Of course this will not be enough for large projects where much more efforts for development of environment models, requirement specifications, etc. will be necessary.
Actions