Výsledky vyhledávání - Verification. Keywords compositional programming

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

“… 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…”
Získat plný text

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

“… Furthermore, expected sensitivity satisfies clean compositional properties and is amenable to formal verification…”
Získat plný text