Suchergebnisse - Verification. Keywords compositional programming

An Abstraction Technique for Verifying Shared-Memory Concurrency von 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 …”
Volltext

Proving expected sensitivity of probabilistic programs von 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 …”
Volltext