Is Your Software on Dope?

DOI10.1007/978-3-662-54434-1_4zbMath1485.68059arXiv1702.04693OpenAlexW2592458317MaRDI QIDQ2988635

Bernd Finkbeiner, Holger Hermanns, Sebastian Biewer, Gilles Barthe, Pedro R. D'Argenio

Publication date: 19 May 2017

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1702.04693

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Team semantics for the specification and verification of hyperproperties

Uses Software

• SymDiff

Cites Work

• Unnamed Item
• Unnamed Item
• Relational separation logic
• Algorithms for model checking HyperLTL and HyperCTL\(^*\)
• Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy
• Secure information flow by self-composition
• Simple relational correctness proofs for static analyses and program transformations
• Abstract non-interference
• Continuity analysis of programs
• Static Analysis