Specifications in JML
Specifications in JML. Example: Linear Search: Environment: var N : int; b : array [0.. N ) of int; i, x : int; Frame: i : [ N >0 x b [0.. N ), 0 i < N ( j | 0 j < i : x b [ j ]) x = b [ i ]]. In JML public static int[] b= {2,3,1,2,4, 3,4};
225 views • 5 slides