Posts tagged with #dafny

← All tags

• Proving the Coding Interview: verifying the JDK's `Integer.toString()`

  May 1, 2022

  A faster, but just as correct, nat -> string converter

• Proving the Coding Interview II

  April 28, 2022

  Integer.toString() 2 furious

• Proving the Coding Interview

  April 17, 2022

  Applying interesting research to uninteresting interview problems