.
, , , 䳿
( )
( ) .
, , , (- ), . .
4. .
, . .2
( ) ( ). - .
(Finite-state machine-based)
.
,
, .
, ,
, .
, , , .
( ),
, .
,
, , .
.
;
;
;
reset(R),
.
;
;
reset;
;
;
N
6. , . ³ , , . , , .
|
|
' , .
7. - , '
¨ ;
¨ ;
¨ ;
¨ ;
¨ ;
¨ .
:
¨ ;
¨ ;
¨ ;
¨ ;
¨ .
:
¨ ;
¨ ;
¨ ;
¨ ³;
¨ ³.
8. .
(Testing from formal specification)
, , . , ,