Výsledky vyhľadávania - Verification. Keywords compositional programming
-
1
An Abstraction Technique for Verifying Shared-Memory Concurrency
ISSN: 2076-3417, 2076-3417Vydavateľské údaje: MDPI AG 01.06.2020Vydané v 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…”
Získať plný text
Journal Article -
2
Proving expected sensitivity of probabilistic programs
ISSN: 2475-1421, 2475-1421Vydavateľské údaje: ACM 01.01.2018Vydané v Proceedings of ACM on programming languages (01.01.2018)“… Furthermore, expected sensitivity satisfies clean compositional properties and is amenable to formal verification…”
Získať plný text
Journal Article