.
, - . , , [3]. , - [4].
3. ?
: . , .
[specification of a model] - , , , , . , . . . ., , , .
, . . , . (. . , .)
. . : .
, , , , .
5. ?
) () . ( ) .
. , , , , . .
6. ?
[model verification] , . . . . ( ) : , ; , . . , , .
|
|
7. . ?
.
, .
, , , .
, 30 . . .
.