Modelization and Verification of a Multiprocessor Realtime OS Kernel (1994)

Cached

Download Links

by Thierry Cattel , Thierry Cattel
Citations:17 - 2 self

Documents Related by Co-Citation

19 Formal Methods: A Practical Tool for OS Implementors – Patrick Tullmann, Jeff Turner, John Mccorquodale, Jay Lepreau, Ajay Chitturi, Godmar Back - 1997
59 Kit: A Study in Operating System Verification – William R. Bevier - 1989
9 Modeling and Verification of the RUBIS µ-Kernel with SPIN – Gregory Duval, Jacques Julliand - 1995
762 Design and Validation of Computer Protocols – G Holzmann - 1991
56 Specification and verification of the UCLA Unix security kernel – B J Walker, R A Kemmerer, G J Popek - 1980
1497 The Temporal Logic of Reactive and Concurrent Systems – Z Manna, A Pnueli - 1992
341 On µ-kernel construction – Jochen Liedtke - 1995
38 Design and validation of protocols: a tutorial – G J Holzmann - 1993
28 Applying source-code verification to a microkernel -- The VFiasco project – Michael Hohmuth, Hendrik Tews, Shane G. Stephens - 2002
45 A Provably Secure Operating System: The system, its applications, and proofs – P G Neumann, R S Boyer, R J Feiertag, K N Levitt, L Robinson - 1980
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
8 Towards Verified Virtual Memory in L4 – Gerwin Klein, Harvey Tuch - 2004
4 Modeling and Verification of the RUBIS -Kernel with SPIN – Jacques Julliand, Gregory Duval Jacques, Gregory Duval - 1995
25 The theory and practice of a formal method: NewCoRe – Gerard J. Holzmann - 1994
11 Formal methods at AT&T { an industrial usage report – J A Chaves - 1991
126 Memory Efficient Algorithms for the Verification of Temporal Properties – C Courcoubetis, M Y Vardi, P Wolper, M Yannakakis - 1990
113 An Improvement in Formal Verification – Gerard Holzmann, Gerard J. Holzmann, Doron Peled, Doron Peled - 1994
5 The Software Architect's Assistant - A visual Environment for Distributed – N Keng, J Kramer, J Magee, N Dulay - 1995
2 What's new in SPIN version 2, AT&T Bell Laboratories – G J Holzmann - 1995