Search Results - Verification. Keywords compositional programming

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image

    An Abstraction Technique for Verifying Shared-Memory Concurrency by Oortwijn, Wytse, Gurov, Dilian, Huisman, Marieke

    ISSN: 2076-3417, 2076-3417
    Published: MDPI AG 01.06.2020
    Published in Applied sciences (01.06.2020)
    “… To be able to reason about realistic programs, these techniques must be modular and compositional as well as practical by being supported by automated tools…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

    Proving expected sensitivity of probabilistic programs by Barthe, Gilles, Espitau, Thomas, Grégoire, Benjamin, Hsu, Justin, Strub, Pierre-Yves

    ISSN: 2475-1421, 2475-1421
    Published: ACM 01.01.2018
    “… Furthermore, expected sensitivity satisfies clean compositional properties and is amenable to formal verification…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: