Search Results - KOLANSKI, Rafal

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    Comprehensive Formal Verification of an OS Microkernel

    Comprehensive Formal Verification of an OS Microkernel by KLEIN, Gerwin, ANDRONICK, June, ELPHINSTONE, Kevin, MURRAY, Toby, SEWELL, Thomas, KOLANSKI, Rafal, HEISER, Gernot

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Large-scale formal verification in practice: A process perspective

    Large-scale formal verification in practice: A process perspective by Andronick, June, Jeffery, R., Klein, G., Kolanski, R., Staples, M., He Zhang, Liming Zhu

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Formal specifications better than function points for code sizing

    Formal specifications better than function points for code sizing by Staples, Mark, Kolanski, Rafal, Klein, Gerwin, Lewis, Corey, Andronick, June, Murray, Toby, Jeffery, Ross, Bass, Len

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    A Logic for Virtual Memory

    A Logic for Virtual Memory by Kolanski, Rafal

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Formal specifications better than function points for code sizing

    Formal specifications better than function points for code sizing by Staples, Mark, Kolanski, Rafal, Klein, Gerwin, Lewis, Corey, Andronick, June, Murray, Toby, Jeffery, Ross, Bass, Len

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Simulation modeling of a large-scale formal verification process

    Simulation modeling of a large-scale formal verification process by He Zhang, Klein, G., Staples, M., Andronick, J., Liming Zhu, Kolanski, R.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    seL4: Formal Verification of an Operating-System Kernel

    seL4: Formal Verification of an Operating-System Kernel by KLEIN, Gerwin, ANDRONICK, June, SEWELL, Thomas, TUCH, Harvey, WINWOOD, Simon, ELPHINSTONE, Kevin, HEISER, Gemot, COCK, David, DERRIN, Philip, ELKADUWE, Dhammika, ENGELHARDT, Kai, KOLANSKI, Rafal, NORRISH, Michael

    Get full text
    Items that this one cites
    Magazinearticle
    Save to List
    Saved in:

Search Tools: