(2) Generate the possibly-faulty FSMs sets

for each candi we will generate the PosFauFSM[candi]

cand = {t*3,t08(f)}

t3

a e

t3 -> S0 t8 - f -> b f

t3 -> S0 t8 - f -> c e

All remaining specification transitions are left unchanged.

PosFauFSM [{t*3,t08}] = {{t3 -> S0 t8 - f ->))(Possibly-faulty FSM)

前一張投影片

下一張投影片

回到第一張投影片

檢視圖形版本