G. Duval and J. Julliand. Modelling and verification of the RUBIS -kernel with SPIN. In SPIN95 Workshop Proceedings, 1995. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Running the Manual: An Approach to High-Assurance - Microkernel Development Philip (Correct)
No context found.
G. Duval and J. Julliand. Modelling and verification of the RUBIS -kernel with SPIN. In SPIN95 Workshop Proceedings, 1995.
Towards Verified Virtual Memory in L4 - Gerwin Klein And (2004) (Correct)
No context found.
Gregory Duval and Jacques Julliand. Modelling and verification of the RUBIS -kernel with SPIN. In SPIN95 Workshop Proceedings, 1995.
Formalising a High-Performance Microkernel - Kevin Elphinstone Gerwin (Correct)
No context found.
G. Duval and J. Julliand. Modelling and verification of the RUBIS -kernel with SPIN. In SPIN95 Workshop Proceedings, 1995.
Formalising the L4 microkernel API - Rafal Kolanski Gerwin (Correct)
No context found.
G. Duval and J. Julliand. Modelling and verification of the RUBIS -kernel with SPIN. In SPIN'95, Workshop on Model Checking of Software, 1995.
Formalising the L4 microkernel API - Rafal Kolanski Gerwin (Correct)
No context found.
G. Duval and J. Julliand. Modelling and verification of the RUBIS -kernel with SPIN. In SPIN'95, Workshop on Model Checking of Software, 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC