8
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Article: not found

      Comprehensive formal verification of an OS microkernel

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references 71

          • Record: found
          • Abstract: not found
          • Conference Proceedings: not found

          Security Policies and Security Models

            Bookmark
            • Record: found
            • Abstract: not found
            • Book: not found

            Edinburgh LCF

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Programming semantics for multiprogrammed computations

                Bookmark

                Author and article information

                Journal
                ACM Transactions on Computer Systems
                ACM Trans. Comput. Syst.
                Association for Computing Machinery (ACM)
                07342071
                February 01 2014
                February 26 2014
                : 32
                : 1
                : 1-70
                Article
                10.1145/2560537
                © 2014
                Product

                Comments

                Comment on this article