HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Naïm Moussaoui Remil

Publications
Automatic Detection of Vulnerable Variables for CTL Properties of Programs
Naïm Moussaoui Remil, Caterina Urban and Antoine Miné
In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

abstract interpretation, CTL, program verification, Security, static analysis.

Copyright © 2012-2025 easychair.org. All rights reserved.