CiteSeer.IST Home   Related articles for: N. A. Danielsson, J. Hughes, P. Jansson, and J. Gibbons. Fast and loose reasoning is morally correct. In J. G. Morrisett and S. L. P. Jones, editors, POPL, pages 206--217. ACM, 2006.   Doc

Related documents from co-citation:   All related documents
2:   Formal methods: A practical tool for OS implementors - Tullmann, Turner et al. - 1997
2:   An overview of the programatica toolset (context) - Hallgren, Hook et al. - 2004
2:   Modelization and verification of a multiprocessor realtime OS kernel - Cattel - 1994
2:   Modelling and verification of the RUBIS -kernel with SPIN (context) - Duval, Julliand - 1995
2:   the correctness of operating system kernels (context) - Gargano, Hillebrand et al. - 2005
2:   A principled approach to operating system construction in haskell (context) - Hallgren, Jones et al. - 2005
2:   OS verification -- now (context) - Tuch, Klein et al. - 2005
2:   Kit: A Study in Operating System Verification - Bevier - 1989
2:   Verifying Haskell programs using constructive type theory (context) - Abel, Benke et al. - 2005
2:   The logic of demand in Haskell (context) - Harrison, Kieburtz - 2005
2:   Axiomatic constructor classe IsabelleHOLCF (context) - Matthews, constructor et al. - 2005
2:   Specification and Verification of the UCLA Unix Security Kernel (context) - Walker, Kemmerer et al. - 1980
2:   Towards verified virtual memory in L - Klein, Tuch - 2004
2:   microkernel API (context) - Kolanski, Klein - 2006
2:   A unified memory model for pointers (context) - Tuch, Klein - 2005
1:   Formal Aspects of Computing (context) - Thompson, for et al. - 1995
1:   Nebula - a functional operating system (context) - Karlsson - 1982
1:   Theorem reuse by proof term transformation (context) - Johnsen, uth - 2004
1:   Compound monads and the kleisli category (context) - Dawson - 2006
1:   Constructor classe IsabelleHOL (context) - classes, HOL et al. - 2006

CiteSeer.IST - Copyright Penn State and NEC