Login / Signup

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

Myriam ClouetThibaud AntignacMathilde ArnaudJulien Signoles
Published in: TAP (2023)
Keyphrases
  • specification language
  • description language
  • programming language
  • open source
  • search algorithm
  • context aware
  • symbolic execution