Login / Signup

Automatic Detection of Vulnerable Variables for CTL Properties of Programs.

Naïm Moussaoui RemilCaterina UrbanAntoine Miné
Published in: LPAR (2024)
Keyphrases
  • automatic detection
  • temporal properties
  • automatically detecting
  • model checking
  • automatic classification
  • temporal logic
  • small bowel
  • imperative programs