Channels ▼

Blogs

October 22, 2014

Invariants for Binary Search, Part 2: Refining The Specifications

This week, we will try to define more carefully the problem we would like to solve before leaping into the solution.

October 20, 2014

Dead Beef and DFU

Every time LabTool starts, it waits for the host computer to send it the firmware to execute.

October 16, 2014

Invariants For Binary Search, Part 1: A Simple Example

We can use an invariant to help us reason about a piece of code that many programmers find hard to get right by any other means.




NEWS Archive  RSS

July 2010



Video