MetricsJML
 Share
The version of the browser you are using is no longer supported. Please upgrade to a supported browser.Dismiss

 
View only
 
 
ABCDEFGHI
1
Language
Experimental Unit
#Pre/#CC
#Post/#CC
#Inv/#CC
#Const/#CC
CCo
Contract Type
Nonconformance Type
2
JMLBank0.5240.3410.1350.0000.16PreconditionPostcondition and Invariant
3
Bomber0.3550.6450.0000.0000.02PostconditionPostcondition and Invariant
4
Dnivra-Jive0.2100.7550.0350.0000.62PostconditionPostcondition
5
HealthCard0.6340.2310.1020.0330.47PreconditionInvariant
6
JAccounting0.5050.4850.0100.0000.03PreconditionInvariant
7
Javacard0.4240.1210.4550.0000.01InvariantInvariant
8
Mondex0.1610.5980.2240.0170.27PostconditionInvariant
9
PayCard0.2690.5130.2180.0000.71----
10
PokerTop0.4210.5000.0790.0000.61PostconditionInvariant
11
Samples0.3720.4970.1290.0010.48PostconditionPostcondition
12
TheSchorrWaiteAlgorithm
0.4780.3910.1300.0000.21PreconditionPostcondition and Invariant
13
TransactedMemory0.5050.1760.3150.0030.17PreconditionInvariant
14
Mean0.4420.420.1290.0090.31----
Loading...
Main menu