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

 
View only
 
 
ABCDEFGH
1
LanguageExperimental UnitLOCContract Clauses
2
TotalPreconditionPostconditionInvariantConstraint
3
JMLBank7921266643170
4
Bomber6,258121437800
5
Dnivra-Jive2321433010850
6
HealthCard2,1561,01964623510434
7
JAccounting6,648194989420
8
Javacard3,29433144150
9
Mondex65517428104393
10
PayCard110782140170
11
PokerTop3091908095150
12
Samples3,8551,8346839122372
13
TheSchorrWaiteAlgorithm1102311930
14
TransactedMemory1,77929514952931
15
Total26,1984,2301,8691,77454740
Loading...
Main menu