Search Results - Clochard, Martin

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    A Formally Proved, Complete Algorithm for Path Resolution with Symbolic Links

    A Formally Proved, Complete Algorithm for Path Resolution with Symbolic Links by Chen, Ran, Clochard, Martin, Marché, Claude

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    The Matrix Reproved: Verification Pearl

    The Matrix Reproved: Verification Pearl by Clochard, Martin, Gondelman, Léon, Pereira, Mário

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Deductive verification with ghost monitors

    Deductive verification with ghost monitors by Clochard, Martin, Marché, Claude, Paskevich, Andrei

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    The Matrix Reproved (Verification Pearl)

    The Matrix Reproved (Verification Pearl) by Clochard, Martin, Gondelman, Léon, Pereira, Mário

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    Igloo: soundly linking compositional refinement and separation logic for distributed system verification

    Igloo: soundly linking compositional refinement and separation logic for distributed system verification by Sprenger, Christoph, Klenze, Tobias, Eilers, Marco, Wolf, Felix A., Müller, Peter, Clochard, Martin, Basin, David

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification

    Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification by Sprenger, Christoph, Klenze, Tobias, Eilers, Marco, Wolf, Felix A, Müller, Peter, Clochard, Martin, Basin, David

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Gobra: Modular Specification and Verification of Go Programs (extended version)

    Gobra: Modular Specification and Verification of Go Programs (extended version) by Wolf, Felix A, Linard Arquint, Clochard, Martin, Oortwijn, Wytse, Pereira, João C, Müller, Peter

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: