Local management of the tasks for formal modeling project set in the .sce format
on the cloud projects.
To solve a complex problem that processes a large amount of data on one
computing node, it is necessary to solve this problem in parts. The real library
runs these subtasks of the task in question, represented as .sce files, saving
the results to a .csv file. This makes it possible, in the event of an abnormal
shutdown of the computing node, to start the project execution on this node at
the place where the project execution was interrupted, and also to process a
large amount of data in parts.