Relational abstract interpretation for the verification of 2-hypersafety properties

Kovács, Máté and Seidl, Helmut and Finkbeiner, Bernd
(2013) Relational abstract interpretation for the verification of 2-hypersafety properties.
In: Proc. of the 20th ACM Conference on Computer and Communication Security (CCS 2013).
Conference: CCS - ACM Conference on Computer and Communications Security

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item