Verifikation reaktiver Systeme - Universität Kaiserslautern

77
Tabelle 3. Abdeckung durch 0/1-Coverage
p1 p2 p3 p4 p5
q - 1-covered - 0-covered 0-covered
r - - 0-covered 1-covered 1-covered
s 0-covered 1-covered 0-covered - -
t - 1-covered - 0-covered -
old_state - 0-covered - 1-covered -
multiple - 1-covered - - 0-covered
error 1-covered 1/0-covred - 0-covered 0-covered
reject_it 0-covered - 0-covered 1-covered 1-covered
correct_it 0-covered 1-covered 0-covered - -