Directed Model Checking for B: An Evaluation and New Techniques - Formal Methods: Foundations and Applications - page 15

Table 7. Radar plots for invariant, deadlock and goal checking (DF/BF)

!

('$'

+
&

($'

)

'$( $

,'$
**$
$

( "#

'$'

!&)(&
*
&&)&
&&

!

#

%

#!&#&

%$"$

#!&#(

%"$

$ $"% #!'#& "

($"
&&"
"

$"$

# &

#
!

# )

#

$"""#

+*'*

!!

+'*

#& "!

'
-*'
,,'
'

*'+

%"# (
$#!

*'* !!

!($$(+

!(!""(+, $&&.

$"$!