Context Specification Language for Formally Verifying Consent Properties on Models and Code.

Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles

Browse the full TAP paper archive.