Treffer 1 - 6 von 6 für Suche 'Krug, Robert Bellarmine', Suchdauer: 0,35s Treffer weiter einschränken
  1. 1
    Toward the Verification of a Simple Hypervisor

    Toward the Verification of a Simple Hypervisor von Dahlin, Mike, Johnson, Ryan, Krug, Robert Bellarmine, McCoyd, Michael, Young, William


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Building a Hypervisor on a Formally Verifiable Protection Layer

    Building a Hypervisor on a Formally Verifiable Protection Layer von McCoyd, M., Krug, R. B., Goel, D., Dahlin, M., Young, W.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Meta Reasoning in ACL2

    Meta Reasoning in ACL2 von Hunt, Warren A., Kaufmann, Matt, Krug, Robert Bellarmine, Moore, J Strother, Smith, Eric Whitman


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Linear and Nonlinear Arithmetic in ACL2

    Linear and Nonlinear Arithmetic in ACL2 von Hunt, Warren A., Krug, Robert Bellarmine, Moore, J.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Toward the Verification of a Simple Hypervisor

    Toward the Verification of a Simple Hypervisor von Dahlin, Mike, Johnson, Ryan, Krug, Robert Bellarmine, McCoyd, Michael, Young, William

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Mechanized Information Flow Analysis through Inductive Assertions

    Mechanized Information Flow Analysis through Inductive Assertions von Hunt, W.A., Krug, R.B., Ray, S., Young, W.D.

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: