Project

General

Profile

Actions

Feature #11742

closed

Develop simple program sample and describe how to verify it with Klever

Added by Evgeny Novikov over 1 year ago. Updated over 1 year ago.

Status:
Closed
Priority:
High
Category:
Documentation
Target version:
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

Also available in: Atom PDF