Showcase: Formal Methods
Collection
Collection
-
December 2011
-
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case In Proceedings
C.P.T. de Gouw (Stijn), J.C. Rot (Jurriaan), F.S. de Boer (Frank), R. Bubel (Richard) and R Haehnle
July 2015
-
Composing constraint automata, state-by-state In Proceedings
S.-S.T.Q. Jongmans (Sung), T.W.J. Kappé (Tobias) and F. Arbab (Farhad)
January 2016