A fully verified container library


The comprehensive functionality and nontrivial design of realistic general-purpose container libraries pose challenges to formal verification that go beyond those of individual benchmark problems mainly targeted by the state of the art. We present our experience verifying the full functional correctness of EiffelBase2: a container library offering all the… (More)
DOI: 10.1007/s00165-017-0435-1


8 Figures and Tables


Citations per Year

Citation Velocity: 26

Averaging 26 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.