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

Table 8. Radar plots for deadlock and goal checking (Heuristics)

&$*&"*

&$*&",

)%((

(%)(

**&--
!
!

( &$+&"*

(%()

&#*

&
$

&#.

&

%## #$

-,(,,

" "

-(,,

$' # "

,(-,

..)//
%$#

&#$!) %
$"

,(,-

""

")%%)-

")"##)-. %''0

%# %"