[Imprint][Data Privacy Statement][E-Mail]

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

Specification gen-sys-out
actualize pair
with gen-systemstate
 , 
     gen-output
by morphism : pair → systemstateandoutput; : elem → systemstate; : data → output; × → ×; .1 → .1; .2 → .2; p → so; p0 → so0; p1 → so1; p2 → so2; 
            a → sys; a0 → sys2; b → sys0; c → sys1; d → out; d0 → out2; d1 → out0; d2 → out3;
end actualize