The Programatica Project
Integrating Programming, Properties and Validation

Intro People Papers Talks Tools Links





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
Valid HTML 4.01 Transitional
Thomas Hallgren