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

775 Design and Validation of Computer Protocols – G J Holzmann - 1991
1520 The Temporal Logic of Reactive and Concurrent Systems: Specification – Z Manna, A Pnueli - 1991
3451 Communicating Sequential Processes – C. A. R. Hoare - 1985
19 Formal Methods: A Practical Tool for OS Implementors – Patrick Tullmann, Jeff Turner, John Mccorquodale, Jay Lepreau, Ajay Chitturi, Godmar Back - 1997
349 On ยต-kernel construction – Jochen Liedtke - 1995
60 Kit: A Study in Operating System Verification – William R. Bevier - 1989
3242 Communication and Concurrency – R Milner - 1989
1223 Tcl and the Tk Toolkit – John K. Ousterhout - 1994
739 L.: Isabelle/HOL: a proof assistant for higher-order logic – T Nipkow, M Wenzel, Paulson - 2002