Proof Pearl: The KeY to Correct and Stable Sorting

An overview of JML tools and applications

Lilian Burdy, Yoonsik Cheon, David R. Cok et al. · International Journal on Software Tools for Technology Transfer · 2004 · 713 citations

Computing, Computer Science, Programming Languages +11

Proof of a recursive program: Quicksort

Matt Foley · The Computer Journal · 1971 · 60 citations · Full text

Computing, Computer Science, Algorithms +10

Fully Verified Java Card API Reference Implementation

Wojciech Mostowski · 2007 · 25 citations · Full text

Computing, Computer Science, Formal Methods +9

Theorem proving in higher order logics: emerging trends

Jim Grundy, Malcolm C. Newey · 1998 · 16 citations

Computing, Computer Science, Mathematics +12

Verification of object-oriented programs: A transformational approach

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog et al. · Journal of Computer and System Sciences · 2011 · 16 citations · Full text

Computing, Computer Engineering, Computer Science +14