Relational Abstract Interpretation for the Verification of 2-Hypersafety Properties

Finkbeiner, Bernd and Seidl, Helmut and Kovács, Máté
(2013) Relational Abstract Interpretation for the Verification of 2-Hypersafety Properties.
In: Proceedings of the 20th ACM Conference on Computer and Communications Security (CCS '13).
Conference: CCS - ACM Conference on Computer and Communications Security

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item