The Programatica Project
Integrating Programming, Properties and Validation

Presentations

2004-2006

...

2001-2003

Large Scale Separation Through Monads:  The Oregon Separation Kernel

Peter White, 2003

A Logic for Haskell

Richard Kieburtz, 2001, updated 2003

Programatica Tools for Certifiable, Auditable Development of High Assurance Systems in Haskell

Mark P. Jones, James Hook, Thomas Hallgren
Presented at the HCSS 2003 Conference in Baltimore, Maryland, April 1-2, 2003.

Strategies for Verification

Richard Kieburtz, 2003