Nodes

Each assertion produced by the PS is represented by a node in the ATMS.

For each node, the ATMS is capable to identify and maintain information regarding the assumptions from which the node is derivable.

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica