Roderick Chapman

Static verification and extreme programming

Peter Amey, Roderick Chapman, 2004 .

Panellist position statement: some industrial experience with program verification

Roderick Chapman, 2005, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

Correctness by construction: a manifesto for high integrity software

Roderick Chapman, 2006 .